Repository Index

Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.

• xor-filter
• bloom-filter
• erlang-nif
• erlang

List manipulation library inspired by Haskell package Data.List

• list
• lisp
• haskell

Common tools for projects

• cross-platform
• pascal-language
• library
• json

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]

Generate Clojure syntax from vectors

• clojure

A compiler for an Ada-like language

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

Generate images from Graphviz dot strings in Clojure and Clojurescript

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

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

A natural language parser for validating complex date ranges

Hunchentoot Gserver based taskmanager

promise semaphore

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

• common-lisp
• concurrency
• lisp
• primitives