Repository Index

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

• compiler
• javascript
• altjs
• rescript

Safe Rust bridge for creating Erlang NIF functions

• erlang
• nif
• elixir
• ffi

Functional Programming Library for C++. Write concise and readable C++ code.

• range
• composition
• stl
• functional-programming

Simplified distributed locking implementation using Redis

• golang
• redis
• lock
• distributed

Mutex Server using WebSocket

• mutex
• server
• critical-section
• websocket

Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.

Software Transactional Locks

Micropython wrapper for FastLZ, a lightning-fast lossless compression library

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

• coq
• complex-analysis
• real-analysis

Fast LZMA2 Wrapper for .NET

• compression
• dotnet
• lzma2
• nuget

JACK interface for Elixir using NIFs.

• elixir
• audio
• jack
• jackaudio