Repository Index

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

• protobuf
• parser
• proto3
• formatter

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

A Clojure DSL for Apache Spark

C++ bindings/wrapper for SDL2

• sdl
• c-plus-plus
• gamedev
• graphics

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

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

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

• coq
• metaprogramming
• coq-formalization
• rocq

The ultimate Python binding for Vulkan API

• vulkan
• python