ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

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

A modern proof language

💥💻💥 A data-parallel functional programming language

Research language for array processing in the Haskell/ML family

Haskell to VHDL/Verilog/SystemVerilog compiler

Deep Learning in Haskell

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

A notification daemon/center for linux

A programming language with static memory management based on λ-calculus

A wayland compositor based on ideas from and inspired by xmonad

Functional programming with fewer indirections

A language for intent-centric and declarative decentralised applications

webfont generator - converts ttf to woff, eot and svg

A bare-bones calculus-of-constructions

An experimental proof assistant based on a type theory for synthetic ∞-categories.

haskell, opengl, toy project

Resurrecting PP-BESM