Repository Index

Simple ActionN composition to use with RxJava [STABLE]

Port of Sciter headers for the D language

• sciter
• tiscript
• htmlayout
• gui

immutable primitive array/NonEmptyArray wrapper for Scala

• data-structures
• scala
• primitive-arrays
• scala-js

A query library for retrieving part of JSON based on JSONPath syntax.

• jsonpath
• json
• peg
• golang

Generate Clojure syntax from vectors

• clojure

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

Process pools for OCaml

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

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]

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.

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.