Repository Index

The Effect monad, for handling native side effects

Auto-generated D bindings for Vulkan

Adobe AIR native extension for Microsofts Kinect v2 for Windows SDK

A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support

High-speed approximate nearest neighbors for Ruby

libclang bindings for crystal (including automatic C bindings generator)

Relation algebra library for Coq

A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.

• mysql
• postgresql
• sqlx
• databases

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Reactive computation tree library for non-blocking concurrent Common Lisp

• data-flow
• asynchronous
• common-lisp
• concurrency

Iterate over promises serially

Pattern matching for the monads in the cats Clojure library

• clojure
• clojurescript
• pattern-matching

A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.

• swift
• mongodb-connector
• server-side-swift
• mongodb

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify

Finite sets, finite maps, multisets and generic sets

• coq
• ssreflect
• mathcomp
• finite-sets

C# wrapper for FlashRuntimeExtensions

• adobe-air
• ane
• air-native-extensions
• csharp

Manifold implementation in Clojurescript

• clojurescript
• manifold
• rx
• stream

Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.

• parser-combinators
• common-lisp

Type-safe library for building parallel applications, built on top of Async's Rpc module.

Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.

• c
• cicili
• compiler
• lisp

A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)

• pycom
• micropython
• lopy
• wipy

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.

• concurrent
• golang
• golang-library
• data-science

CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.