Repository Index

A compiler for an Ada-like language

Mutex Server using WebSocket

• mutex
• server
• critical-section
• websocket

Fast HTML Parser for FPC and Delphi

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi

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

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

Python module to reduce a cmake file to an AST

Process pools for OCaml

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

Parser & Resolver & Abstract Completion library for D

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

Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.

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

Monitor and restart background threads.

Software Transactional Locks

Hahn: A Coq library

• coq-library

coinduction library for Coq

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

• bindings
• d
• dlang
• sokol