A semantic grep

Truly independent web browser

A massively parallel, optimal functional runtime in Rust

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

A time-tracker I am writing in Haskell for fun and personal use

A transparent, highly scalable and cryptographically verifiable data store.

Staged compilation for Clojure through environment & special-form aware syntax-quoting.

Currying in Clojure

Yet Another Earley Parser

Forward-chaining rules in Clojure(Script)

ClojureScript interface to Facebook's React

A general F# SQL database erasing type provider, supporting LINQ queries, schema exploration, individuals, CRUD operations and much more besides.

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

Easily gather data and compute summary measures declaratively.

An Android library that allows you to easily create applications with slide-in menus. You may use it in your Android apps provided that you cite this project and include the license in your app. Th…

Linux kernel backport infrastructure

Parsing with derivatives (cf. Yacc is dead)

Diff program for semantic patches