ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

A statically typed lisp, without a GC, for real-time applications.

A modern proof language

A Dependently Typed Functional Programming Language

Linux VR Desktop

Ethereum smart contract fuzzer

🇪🇺 Wire back-end services

💥💻💥 A data-parallel functional programming language

A proper subset of Haskell that compiles to JavaScript

Bluespec Compiler (BSC)

Crucible is a library for symbolic simulation of imperative programs

A multi-syntax functional programming language that compiles to WebAssembly.

PostgreSQL + Websockets

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

The adventures of a Haskell compiler

Algorithmic Information Theory, using Binary Lambda Calculus

The Acton Programming Language

Symbolic formula representation and solver interaction library

Given a list of regexes, generate all possible strings that matches all of them.

A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.

A high-level programming language

simply expressive interpreted programming language

just to keep a version of my code as I attempt to learn haskell.

A self-hosting systems language that speaks TLS alone. Zero C dependencies. GC in ARM64 assembly. Pure-Rail TLS 1.3 + X.509 chain validation in v3.0.0. 4 backends. BSL 1.1.

PostgREST + static server