Repository Index

Function composition

The Effect monad, for handling native side effects

High performance utility functions using Generics

• filter
• functional
• generics
• go

☢️ V Nuklear module -- nuklear wrapper

• hacktoberfest

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

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

Fully typesafe, Rust-like Result and Option types for Python

• python3
• rust
• result-type
• rust-option

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

go-fasttld is a high performance effective top level domains (eTLD) extraction module.

• compressed-trie
• idn
• idna
• ipv4

A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.

• algebraic-effects
• side-effect
• side-effects
• typesafe

The formal proof of the Odd Order Theorem

• coq
• ssreflect
• mathcomp
• feit-thompson-theorem

Process pools for OCaml

Hahn: A Coq library

• coq-library

Go utility library for convenient looping using Go's range-over-func feature

• golang

CatBoost a fast, scalable, high performance Gradient Boosting on Decision Trees library. Golang using Cgo for blazing fast inference CatBoost Model 🚀

• cgo
• golang
• deep-learning
• gradient-boosting

Common Lisp feed parser

Unofficial OpenCV binding for D programming language

A different tap parser

The GMap iteration macro, plus a few other useful macros.

🚧 Flexible mechanism to make execution flow interruptible.

• hacktoberfest

Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.

AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)