Android RSS reader app

Elegant Facebook Messenger desktop app

Refinement Types for Scripting Languages

Algebraic graphs

Construct and run Hadoop MapReduce programs in Haskell

Dockerfile linter, validate inline bash, written in Haskell

Dissertation project: Regular expression refinement types

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Large Scale Type Systems (programming language)

A curated list of Rust code and resources that do NOT exist yet, but would be beneficial to the Rust community.

The purpose of this code is to automatically create random C programs that are guaranteed to have bugs of a particular "interestingness". We are using this to train learning machines to fuzz progra…

A markdown terminal slideshow tool

A concolic testing tool for the Erlang functional programming language.

Shen/Scheme implementation

Android application to analyze WiFi signals.

Using an Android phone's wifi receiver and GPS, this creates a heatmap overlay on a Google Map

A curated list of awesome Haskell frameworks, libraries and software.

Universal markup converter

Mold: A Modern Linker 🦠

Liquid Types For Haskell

🗓️ A small library for reading and writing ICalendar files.

A fast, friendly, functional language.

Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Lightning-fast and Powerful Code Editor written in Rust

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Global, derivative-free optimization for hyperparameter tuning

A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.