Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
- common-lisp
- concurrency
- genserver
- actor
Repository Index
81,588 visible repositories in the index
73–96 of 132 · Most stars
Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
An F# type provider for in-process R interop
- r-language
- r-programming
- type-providers
a rust compiler daemon for up to 25x faster cargo builds
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
A formalization of geometry in Coq based on Tarski's axiom system
Boost.org interprocess module
FMOD Studio middleware integration and scripting API bindings for the Godot game engine.
- game-development
- game-engine-development
- game-audio
- dynamic-audio
errgroup with goroutine worker limits
- go
- golang
- sync
- errgroup
Transducers: Ergonomic, efficient data processing.
- functional-programming
- lisp
- transducers
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
0MQ Delphi binding
A mysqldump anonymizer
- mysqldump
- anonymizer
- database-anonymizer
- rgpd
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
Bindings to the Tauri API for projects using wasm-bindgen
A bridge between Python and Lisp (FFI bindings, etc.)
Powerful macro (cross) assembler package for several CPUs
High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic
This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Apache Kafka Client for Delphi
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Load Common Lisp code blocks from Org files
- literate
- programming
- lisp
- org
A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure