Standard ML HTTP server framework

The Mercury logic programming system.

The MaPLe compiler for efficient and scalable parallel functional programming

The Twelf Programming Language

Interpreter for a simple Lisp. Written in Prolog.

A terminal IRC client

SML Parser Combinator Library

Yep, you can game on FreeBSD!

Lollimon, a monadic concurrent linear logic programming language

A custom parser/auto-formatter for Standard ML

Auxiliary Library for SML (based on SMLNJ), for use as SML teaching examples

A handful of potentially useful crap for Standard ML

An OS built with interoperable Nix modules.

A tiling window manager

The X Binary Package System (XBPS)

Femboy GNU/Linux distribution.

A bitmap programming font optimized for coziness 💜

NixOS MicroVMs

Nix Packages collection & NixOS

Phel is a functional programming language that transpiles to PHP. A Lisp dialect inspired by Clojure and Janet.

Landing Page for Practicalli for broadcasts, books and guides on Clojure, ClojureScript, Emacs, Spacemacs and more. Developed with ClojureScript and reagent, using figwheel.main

The Lemon Operating System

i3-compatible Wayland compositor

Helper files to make sway a better experience for us poor NVIDIA users.

Yet Another Dotfiles Manager

Simple emerge wrapper.

Rust / Wasm framework for creating reliable and efficient web applications

An inky color scheme for prose and code.

A cross-platform, OpenGL terminal emulator.

Vim-fork focused on extensibility and usability