An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
Repository Index
47,133 repositories indexed
745–768 of 2,295 · Most stars
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
A slice of functional programming to chain ruby services and blocks, thus providing a new approach to flow control. Make them flow!
parser for Google ProtocolBuffers definition
A Promise library for Swift, based partially on Javascript's A+ spec
URSA - RSA public/private key OpenSSL bindings for Node.js
WLA DX - Yet Another ANSI C GB-Z80/Z80/Z80N/eZ80/6502/65C02/65CE02/65816/68000/6800/6801/6809/8008/8080/HUC6280/SPC-700/SuperFX/Cx4/SH-2 Multi Platform Cross Assembler Package
A lightweight ClojureScript abstraction over ReactJS
A lightweight yet powerful IoC dependency injection container for the Go programming language
- ioc
- ioc-container
- container
- dependency-injection
Elegant error/exception handling in Elixir, with result monads.
- pipeline
- monad
- macros
- elixir
The repository host gives no description.
A Clojure DSL for Apache Spark
C++ bindings/wrapper for SDL2
C++11 thread-safe container for sharing data between threads (synchronized queue)
- cpp
- multithreading
- thread-safe
- channel
Lua bindings for POSIX APIs
- posix
- luaposix
- posix-apis
- lua
webgpu.h - C version of the JS API, for both native and Wasm. A multi-vendor standard between Dawn/Emdawnwebgpu and wgpu-native. Designed primarily for binding into higher-level languages.
Corman Lisp
- common-lisp
- ide
Fibers and actors for web development
Mono/.NET bindings for Qt
- qt
- mono
- csharp
- dotnet
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
The ultimate Python binding for Vulkan API
- vulkan
- python