Repository Index

Hahn: A Coq library

• coq-library

coinduction library for Coq

Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.

• parallel-processing
• elixir-library

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

• golang

Build parsers easily

• parser
• parser-library
• parsing
• pratt-parser

A lock-free concurrent data structures library for Common Lisp.

• common-lisp
• concurrency
• lisp
• primitives

A library that brings all the CSP joy to the Elixir land.

Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀

• pipe
• pipeline
• kleisli
• ramda

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

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

• coq
• randomized-algorithms
• probability
• monad

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

• coq-plugin
• large-numbers
• coq
• docker-coq-action

A port of the Javascript library to GML2.3

Decimal number parser and formatter package for the Common Lisp language

• decimal-numbers
• common-lisp
• library
• parser

Tool that allows to write Erlang NIF libraries in Haskell

Common Lisp JSON handling library (not a parser!), with the aim for convenience and brevity.

A Coq library providing tactics to deal with hypothesis

• coq
• formal-proofs
• proof-assistant
• tactics

Simple Groovy options library

A utility library to write code in functional programming style in Javascript

• functor
• monads
• curry
• composition

Ada API to the Windows library

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

• coq
• vst
• compcert
• graph-algorithms

Monadic Assertions library

Zig bindings for libVLC media framework.

• bindings
• libvlc
• zig
• zig-library

Crystal library for Win32 API

• crystal
• crystal-lang
• crystal-language
• crystal-shard

Go bindings for the snowball libstemmer library including porter 2