Repository Index

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

• cross-platform
• dialog
• file
• filesystem

List manipulation library inspired by Haskell package Data.List

• list
• lisp
• haskell

Elixir library to do pipeable transformations on html strings (with CSS selectors)

• elixir
• html-parser
• html-renderer
• css-selector

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.

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