Repository Index

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

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

Generates Blazor -> Javascript strongly typed interop methods.

A MT940 parser in Rust

• mt940
• fints
• hbci
• sepa

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

• common-lisp
• concurrency
• lisp
• primitives

Bindings for libncursesw and crt class

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Helper tool to debug parser and formatter

A library that brings all the CSP joy to the Elixir land.

Free Monads and useful constructions to work with them

Try monad for crystal

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 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

Common Lisp feed parser

Libnotify for Crystal

Parser for todo.txt files in Go ✅

• go
• golang
• todo
• todoapp

:evergreen_tree: Parses indented code and returns a tree structure.

• go
• parser

Experiments on workflow with common lisp

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

Transpiles from everything to everything else

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

OpenFaaS template for the crystal programming language

Unofficial OpenCV binding for D programming language

cookiestxt implement parser of cookies txt format

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

• functor
• monads
• curry
• composition