Repository Index

Common tools for projects

• cross-platform
• pascal-language
• library
• json

A query library for retrieving part of JSON based on JSONPath syntax.

• jsonpath
• json
• peg
• golang

Parser & Resolver & Abstract Completion library for D

Gatherers library for Java Stream API

• java
• streams-api
• gatherer
• gatherers

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.

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

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