SMBwebguy is a Flask-based web application for managing SMB shares. It allows users to log in, configure servers, and mount/unmount SMB shares.

A new markup-based typesetting system that is powerful and easy to learn.

Nix-based continuous integration

A Rust hashconsing library.

Meta-preprocessor for OCaml

Chromium running inside your terminal

build-once run-anywhere OCaml programs

Staged metaprogramming in stock OCaml

Embeddable Lambda Prolog Interpreter

Lean 4 programming language and theorem prover

Counterexamples in Type Systems

This project was put together to teach myself NASM x86 assembly language on linux.

Finite sets and maps for Coq with extensional equality

A collection of tools for writing technical documents that mix Coq code and prose.

Emacs support for F*

Spacemacs layer for fstar (wrapper for fstar-mode.el)

UNIX-like reverse engineering framework and command-line toolset

A library of mechanised undecidability proofs in the Coq proof assistant.

V2 of Real World OCaml

[DEPRECATED] Git mirror of the 0 A.D. SVN source code (migrated to https://gitea.wildfiregames.com on August 20th 2024)

A textbook on informal homotopy type theory

Open Source Continuous File Synchronization

OpenBook is an open source Jazz real book

TMSU lets you tags your files and then access them through a nifty virtual filesystem from any other application.

A keyboard-driven, vim-like browser based on Python and Qt.

A Haskell library for typesafe music composition

The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture

Text-mode interface for git

A dynamic terminal-based menu inspired by dmenu written in Python without dependencies with an optional MRU ordering which could also be used as an application launcher and CtrlP alternative.