Platform Abstraction C++ Libraries
Repository Index
47,133 repositories indexed
745–768 of 2,325 · Most stars
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
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!
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
An Optional Type System for Lua
An ERB-style templating language for Go.
- go
- template-language
- erb
Mono/.NET bindings for Qt
- qt
- mono
- csharp
- dotnet