Repository Index

Common tools for projects

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

Dynamic Binding for libui (https://github.com/andlabs/libui) in D

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

Crystal bindings for libpcap

• packets
• pcap
• crystal

A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe

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