Repository Index

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

CSP-like channels for common lisp

Simple ActionN composition to use with RxJava [STABLE]

A compiler for an Ada-like language

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation

Parser & Resolver & Abstract Completion library for D

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.

Parser and printer for date-times in ISO8601

• ocaml
• iso8601
• datetime
• parser

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

• coq
• bourbaki
• set-theory
• mathcomp

Monitor and restart background threads.

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

• bindings
• d
• dlang
• sokol

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

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

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

A natural language parser for validating complex date ranges

Hunchentoot Gserver based taskmanager

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

• common-lisp
• concurrency
• lisp
• primitives

A couple of lambda shorthand macros

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

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

• pipe
• pipeline
• kleisli
• ramda

🇪🇺 Resources and Learning Games for European Romance Language Communication

• language
• romance-languages
• language-learning

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

Common Lisp feed parser

Anonymous lambda literal in Common Lisp, respecting Scala