Repository Index

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

Simple ActionN composition to use with RxJava [STABLE]

Simple partial application for FuncN and ActionN on RxJava [STABLE]

Monitor and restart background threads.

coinduction library for Coq

V wrapper around the C Java Native Interface

• java
• jni
• kotlin
• android

Hanoi tower in Coq

A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.

• golang
• go
• goroutine

A library that enables the usage of MaxmindDB geoIP databases by using the Rust library in a WASM module

• wasm
• deno
• maxmind
• geoip

Elixir NIFs for interacting with llama_cpp.rust managed GGUF models.

Bindings for iOS and Android on Xamarin projects with sample code.

Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.

• csv
• dll
• duckdb
• duckdb-database

Parse and check doi objects in go.

• doi
• golang
• go
• parser

Abstractions and utilities to get rid of boilerplate code in business logic

• datastructures
• generic
• go
• golang

A simple web application boilerplate using Common Lisp

• lisp
• common-lisp

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm

V wrapper of https://github.com/JCash/voronoi

D bindings for the JoyShockLibrary

Configurable dynamic and static binding to Facebook's zstandard compression library.