.NET wrapper around the LibSass library with the ability to support a virtual file system.
Repository Index
47,133 repositories indexed
25–41 of 41 · Most stars
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Common Lisp and CXX interoperation with JIT
- jit
- interoperability
- common-lisp
- cpp17
Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.
- golang
- go
- pooling
- pool
The completeness of Djula meets the usability of Eco.
Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang
V wrapper around the C Java Native Interface
- java
- jni
- kotlin
- android
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Ada binding for the Pebble Time smartwatch
A Simple DSL to create Directory Tree with Text Files
- groovy
- dsl
- jvm
- directory
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Facility, Prosperity and Maintainability.
One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.
- advisory-lock
- concurrency
- distributed-lock
- etcd
keim's CannonML (shmup scripting language) implementation in Actionscript 3
Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired by Erlang’s actor model. Its manifesto emphasizes principles such as maximizing the use of verticles for scalability, maintaining single responsibility for each verticle, and prioritizing simplicity to enhance reliability and ease debugging.
- functional-programming
- java
- json-values
- persistent-data-structure