Elixir bindings for Vega-Lite
Repository Index
80,339 visible repositories in the index
1,177–1,200 of 1,967 · Most stars
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
Human-readable schedule expressions for .NET (C#): write "every day at 9am except sunday" instead of cron. Time zones, fluent builder, custom keywords, cron converter.
- cron
- csharp
- date-time
- dotnet
An esoteric programming language built to break LLMs and coding agents.
Rust-like error handling and options for Bun, Deno and Node.
- deno
- typescript
- rust
- error-handling
Secure firmware framework focusing on developer experience
A lightweight lexical string parser for BBCode styled markup.
- decoda
- bbcode
- bbcode-parser
- hooks
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
Providing pattern matching for modern C++.
- cpp
- pattern-matching
- modern-cpp
Railway-oriented programming for .NET
golang wrapper for github.com/OSGEO/gdal
CSP-style concurrency for Python
- python
- asyncio
- csp
- concurrency
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
Go Lang Web Assembly bindings for DOM, HTML etc
- wasm
- binding
- golang
GoJava - Java bindings for Go packages
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification