Type-driven syntactic and semantic effectful parsing for NL

Extraction of an 8x16 bitmap font from a game ROM

A tiny but powerful VGA text mode font editor for DOS

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Interactive study tool for Go problems on arbitrary undirected graphs

Parser for Attempto Controlled English (ACE)

Grammatical Framework's Resource Grammar Library (RGL)

autoharp & bossa nova machine, inspired by foldr.moe/harp

Understanding what your bits do when you're not looking.

Engine for making things with a MS-DOS feel, but for modern platforms

My Dutch steno theory and dictionary

get things from one computer to another, safely

Rust implementation of Project Fluent

Generate TypeScript bindings from Rust types

Counterfeit Monkey by Emily Short

High-level emulator for iPhone OS apps. This repo is used for issues, releases and CI. Submit patches at: https://review.gerrithub.io/admin/repos/touchHLE/touchHLE

Dotal Language

Set up a modern rust+react web app by running one command.

Follows https://www.sigbus.info/compilerbook but spits out an ELF / Rui 本ベースで ELF を吐く C コンパイラを作る

「手軽に開発、便利な検索」をモットーにした、 デスクトップ環境で動作する辞書アプリ

A draft for a new, richer dictionary for the Toaq language.

a tool for mixing tracker tunes

Awesome things from the community

A simple stack based code golf language

Concatenate multiple ttyrec sessions into a continuous one, eliminating time gaps

The core software distribution for the Inform 7 programming language.

VGMTrans - a tool to convert proprietary, sequenced videogame music to industry-standard formats