A tool providing additional ECC protection for optical media (unofficial version)

https://github.com/piqueserver/piqueserver fork

2d syntax

ia64 (Itanium) instruction set simulator. Fork of http://ski.sourceforge.net

Arma: Cold War Assault Remastered Android/Arm64 port

The core OCaml system: compilers, runtime system, base libraries

PowerPC Windows NT ported to Nintendo GameCube/Wii/Wii U

Arma: Cold War Assault Remastered Source Code Repository.

Voxel Game written in Dyalog APL and SDL3

📦 Natural Language Theorem Prover built on Dependent Type Theory (Agda) and Symbolic NLP (Lambeq), awarded Best Group Dissertation at University of Nottingham.

PartIII dissertation: defunctionalization for dependently typed languages

Meta-theory of TEAL

The Computer History Simulation Project

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

Counterexamples in Type Systems

Development of synthetic category theory within the type theory CaTT

Martin-Löf type theory + W-types implemented in C (WIP)

A self-hosting Racket on RPython meta-tracing JIT back-end.

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

An emulator and assembler for the UNIVAC-1219 computer

C toolchain and programs for the UNIVAC 1219B

A categorical programming language with effects

A Mac OS X bootloader for the Nintendo Wii.

A simple expressions language with polymorphic extensible row types.

An attempt to reinvent the garbage collector

Programming language for literate programming law specification

k/simple is a bare minimum k interpreter for learning purposes by arthur whitney