Repository Index

query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp

• common-lisp
• domain-specific-languages
• dsl
• json

🐝 A Highly Performant and easy to use goroutine pool for Go

• goroutine
• goroutine-pool
• goroutine-scheduling
• task-scheduler

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

High performance utility functions using Generics

• filter
• functional
• generics
• go

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)

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

Pattern matching for the monads in the cats Clojure library

• clojure
• clojurescript
• pattern-matching

Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.

Finite sets, finite maps, multisets and generic sets

• coq
• ssreflect
• mathcomp
• finite-sets

Map over promises serially

V bindings for raylib https://www.raylib.com

DexieNET is a .NET wrapper for dexie.js minimalist wrapper for IndexedDB

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

A library which aids in making any JavaScript library more functional.

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

Cocoa binding for Common Lisp on macOS

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

• coq
• mathcomp
• regular-languages
• ssreflect

Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.

Simple Email Parser

Graph Theory [maintainers=@chdoc,@damien-pous]

• coq
• graph-theory
• mathcomp
• docker-coq-action