GTK4/Libadwaita/WebKit2 bindings for Common Lisp.
Repository Index
47,133 repositories indexed
121–144 of 267 · Most stars
JavaScript Engine for .NET
- netcore
- standard
- csharp
- csharp-library
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Railo is an Open Source CFML Server
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
🛠 A full-featured dependency injection container for go programming language.
- go
- dependency-injection
- di
- ioc
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
F# computation expression builder for System.Threading.Tasks
- fsharp
- task
- computation-expressions
- async
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
.net bindings for the rocksdb by facebook
Tiny library (<200B gzip) for deferring something by a "tick"
- defer
- javascript
- async
- wait
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
⛓ A chainable interface for Swift's async/await.
- async-await
- swift5
- concurrency
- async
a re-implementation of the asyncio mainloop on top of Trio
Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.
- fabric
- horizon
- minecraft
- neoforge
Railway-oriented programming for .NET
golang wrapper for github.com/OSGEO/gdal
CSP-style concurrency for Python
- python
- asyncio
- csp
- concurrency
Reusable, composable patterns across Elixir libraries
- elixir
- pattern-matching
- composable-patterns
- guards
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
Go binding for the cairo graphics library