Repository Index

Extremely simple Process pooling and task submission in Elixir

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

Embeddable Forth interpreter written in Ada

• ada
• forth
• interpreter

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

• common-lisp
• concurrency
• lisp
• primitives

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Little utility D3 functions

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

• pipe
• pipeline
• kleisli
• ramda

Free Monads and useful constructions to work with them

utils for Go context

• golang
• go
• context
• async

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

Anonymous lambda literal in Common Lisp, respecting Scala

Experiments on workflow with common lisp

• emacs
• common-lisp
• slime
• test-automation

Simple Shopify API for the Go Programming Language

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

• pdf
• pdf-lib
• csharp-pdf

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.

Java scope functions inspired by Kotlin

• functional-programming
• java
• java-utils
• java-utilities

A Coq library providing tactics to deal with hypothesis

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

Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.

• elixir-lang
• elixir
• hex
• package

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

• functor
• monads
• curry
• composition

Kotlin recursion schemes with Arrow

• recursion-schemes
• kotlin
• functional-programming
• recursive-structures

Crystal C bindings for cmark-gfm to work with Commonmark and Github Flavored Markdown

• crystal
• commonmark
• gfm
• markdown