Harper LS extension for the Zed editor

Firmware for the Xteink X4 e-paper display reader

A menagerie of cute implementations of modern typechecking algorithms

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

‎️‍🌈 Convenient interface for printing colourful messages

perfect programming language

Demo for high-performance type theory elaboration

Weighs the soul of incoming HTTP requests to stop AI crawlers

Automatically audit your Mac for basic security hygiene.

Firefox user.js for optimal privacy and security. Your favorite browser, but better.

General purpose Nix starter template for macOS or NixOS w/ step-by-step instructions

Generate impressive-looking terminal output to look busy when stakeholders walk by

Jennifer is a code generator for Go

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Generic Evolvable Graphs for Efficient Learning of Artificial Tangled Intelligence. (A C++ framework for Tangled Program Graphs)

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

Collection of Alacritty color schemes

An extremely fast LaTeX formatter written in Rust

LaTeX.css is a CSS library that makes your website look like a LaTeX document

Installation and running of LanguageTools on a local machine

☝️send desktop notifications from your Rust app.

An easy-to-use Mod Organizer 2 installer for Linux

The theme from libadwaita ported to GTK-3

🕵️ Haskell STatic ANalyser

Agda lecture notes for the Functional Programming course at TU Delft

Self-hostable Bambu Cloud alternative

Public course materials for COMPSCI 3MI3, Fall 2023 version

Generate Nix fetcher calls from URLs [maintainer=@figsoda]