Charles Averill

proofchat. A verified(?) TCP client/server chat application

zenith. A wireframe renderer written in OCaml

aftn. A C implementation of Alien: Fate of the Nostromo, a 2021 board game of the same name

DEFFS. Distributed, Encrypted, Fractured File System - A custom distributed file system written in C with FUSE

satyrn. A Notebook alternative that supports branching code and local collaboration.

ecco. An Educational C COmpiler written in Python, written for use in my Practical Compiler Design course

Picinae. Rocq Prover

yarr. Yet Another (actually non-)Relativistic Renderer

kuiper. A terminal-based dating application for UTD students

terrasim. A SimEarth clone in OCaml using tsdl and tgls

prettybird. Python

Phantasia. Multiplatform Final Fantasy 1 port in Unity

oot_le. A source hack of The Legend of Zelda: Ocarina of Time that adds elements from the OOT manga

ctpe. Coq Tactics in Plain English

Purple. Purple standard language specification and compiler implementation

aftn.ml. A terminal-based OCaml clone of the "ALIEN: Fate of The Nostromo" board game.

C_Project. Friendly Template for C Projects

Address-Atomization. Implementation of Jason Rigby's address-net for Keras

CoqPhysicsExperiments. A sandbox for me to derive high-level physical relationships from logical axioms

volpic. Verifier of Lifted Pascal in Coq

tinyfiledialogs. OCaml bindings to tinyfiledialogs

HCLT. A Coq implementation of "Foundations of Combinatory Logic," the 1930 Ph.D. thesis written by Haskell Curry

scope. OCaml Image File Viewer

GoFR. A Programming Language controlled by the game of Go

kerastroke. A suite of the generalization-improvement techniques Stroke, Pruning, and NeuroPlast

MIPSelbrot. An interactive mandelbrot fractal viewer written in MIPS

double_slit. A recreation of the double slit experiment using matplotlib

pokefirered. FireRed enhancement based on https://github.com/pret/pokefirered

GBCamel. A Gameboy Color emulator written in OCaml

purple_archive. A simple compiled language

np_sound. A NumPy-based sound library for Python

MUTABLE. MUlTiple AssemBly Language Emulator

RDT_OCaml. An implementation of a Reliable Data Transfer (RDT) protocol in OCaml over UDP

aoc23. Advent of Code 2023

dsbs. Dead-Simple Build System for Coq

tig. Python

camlcards. A card game engine

fontmorph. A shell script to interpolate between two METAFONT styles based on Donald Knuth's 1982 "The Concept of a Meta-Font"

time_sensitive_riscv. Examples of timing-sensitive RISC-V code

grades. A grade calculator written in plain JavaScript

_CardWarsDominionPlanning.

owme. OWME Window Manager Emulator

LocalCelestialBodies. Scripts and data to generate a database of celestial bodies local to our Solar System

error_pie. Python

DinoIsland. A dinosaur-focused 3D Platformer inspired by N64 titles