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
169–192 of 514 · Most stars
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
C++ bindings/wrapper for SDL2
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.
: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
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
The ultimate Python binding for Vulkan API
- vulkan
- python
Auto generated Go wrapper for Dear ImGui via cimgui
- golang
- imgui
- cimgui
Simple LISP in Go
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
- functional-programming
- lazy-evaluation
- golang-library
- golang
golang worker pool , Concurrency limiting goroutine pool
- golang
- pool
- concurrency
- workerpool
A simple and powerful multithreading library for Delphi
Delegate-based C# P/Invoke alternative - compatible with all platforms and runtimes.
- csharp
- pinvoke
- native
- c
Go wrapper for the .NET Core Runtime.
- dotnet
- wrapper
- golang
- dotnet-core
Swift implementations for function currying
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
Java 8 Date-Time API for Clojure
- java-8
- clojure
- java-time
- library
A simple wrapper around libpcap for the Go programming language
fantasyland extensions for immutablejs
A modern supercompiler for call-by-value functional languages
A simple Swift wrapper for libgd
Yet Another LINQ to Objects for PHP [Simplified BSD]
- linq
- php
- functional-programming
- query
Language bindings generated from the GTFS Realtime protocol buffer spec for popular languages.