Repository Index

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation

Simple partial application for FuncN and ActionN on RxJava [STABLE]

An interpreter for C flat, a music-based programming language

An embeddable implementation of the Ngaro Virtual Machine for Go programs

A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.

Gatherers library for Java Stream API

• java
• streams-api
• gatherer
• gatherers

Parser and printer for date-times in ISO8601

• ocaml
• iso8601
• datetime
• parser

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

D bindings for the sokol headers (https://github.com/floooh/sokol)

• bindings
• d
• dlang
• sokol

V wrapper around the C Java Native Interface

• java
• jni
• kotlin
• android

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

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 natural language parser for validating complex date ranges

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

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Helper tool to debug parser and formatter