Repository Index

Implementation of sum/option types using QVariant

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

• coq
• bourbaki
• set-theory
• mathcomp

Monitor and restart background threads.

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

This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.

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

• parallel-processing
• elixir-library

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

Build parsers easily

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

Hunchentoot Gserver based taskmanager

Embeddable Forth interpreter written in Ada

• ada
• forth
• interpreter

A MT940 parser in Rust

• mt940
• fints
• hbci
• sepa

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

• common-lisp
• concurrency
• lisp
• primitives

Erlang PortAudio bindings

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.

Try monad for crystal

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

Experiments on workflow with common lisp

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