Repository Index

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

• parallel-processing
• elixir-library

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

• combinatorial-optimization
• community-detection
• dynamic-graphs
• edge-orientation

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

• golang

Build parsers easily

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

scala-native bindings for Gtk+, GLib, ...

• scala-native
• gtk
• glib

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

• common-lisp
• concurrency
• lisp
• primitives

Bindings for libncursesw and crt class

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

Libnotify for Crystal

A port of the Javascript library to GML2.3

A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.

• pdf
• pdf-lib
• csharp-pdf

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.

Elixir binding for libgraphqlparser

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

Crystal shard wrapping libgphoto2

• libgphoto2
• crystal
• photography
• gphoto2

Ada API to the Windows library