Web frontend for GHC

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

A tool for handling the update of Cardano related git repos

The x86 processor fuzzer

Hardware backdoors in some x86 CPUs

A client / server for a Tox-based VPN. Run the server on one computer, copy the public key, and run the client (with that key) on another computer, and it should Just Work™.

Educational computer programming environment using Haskell

A visual graph editor, with automatic layout

Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

TCP/IP packet demultiplexer. Download from:

A basic reflex host for backend work

NixOps is a tool for deploying to NixOS machines in a network or cloud.

WIP implementation of a Haskell-like Lisp in Racket

Haskell Research Compiler

NixOS Weekly Newsletter

A graphical interface for partitioning, generation of configuration files, and installation of NixOS. Has a web interface; the server uses C++ and Qt, the client uses JS and qooxdoo.

Frontend plugin to print locally used module info

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

Extremely modular text editor built in Haskell

Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications

A nix-based Haskell project manager

OpenGL 3.3 Core Profile backend for LambdaCube 3D

LambdaCube 3D intermediate representation of 3D graphics pipelines. See: