A header-only C++ library for task concurrency
Repository Index
61,121 visible repositories in the index
985–1,008 of 2,621 · Most stars
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Platform Abstraction C++ Libraries
An OpenJDK release maintained and supported by SAP
- openjdk
- java
- open-source
- jdk
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
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!
A Promise library for Swift, based partially on Javascript's A+ spec
parser for Google ProtocolBuffers definition
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
Elegant error/exception handling in Elixir, with result monads.
- pipeline
- monad
- macros
- elixir
A lightweight yet powerful IoC dependency injection container for the Go programming language
- ioc
- ioc-container
- container
- dependency-injection
The repository host gives no description.
A Clojure DSL for Apache Spark
C++ bindings/wrapper for SDL2
Lua bindings for POSIX APIs
- posix
- luaposix
- posix-apis
- lua
C++11 thread-safe container for sharing data between threads (synchronized queue)
- cpp
- multithreading
- thread-safe
- channel
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.
Fibers and actors for web development
Corman Lisp
- common-lisp
- ide
An Optional Type System for Lua
An ERB-style templating language for Go.
- go
- template-language
- erb