CharlesAverill

aftn

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

oot_le

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

Purple

Purple standard language specification and compiler implementation

ctpe

Coq Tactics in Plain English

HCLT

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

volpic

Verifier of Lifted Pascal in Coq

GBCamel

A Gameboy Color emulator written in OCaml

pokefirered

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

aoc23

Advent of Code 2023

camlcards

A card game engine

dsbs

Dead-Simple Build System for Coq

LocalCelestialBodies

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

MUTABLE

MUlTiple AssemBly Language Emulator

time_sensitive_riscv

Examples of timing-sensitive RISC-V code

bitstring

OCaml Bitstring - bitstring matching for OCaml

chameleon

An exploration into procedural generation

CharlesAverill

charlesaverill.github.io

fetch_manipulation_images

fpc-source

My fork of FPC for VOLPIC

FreeRTOS

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

graph_shepherding

https://www.overleaf.com/read/gcrnnzfsmrvq

lucid

Language for Unifying CiC Interpretation and Development

mesh-parametrization

A mesh parametrization tool

nixos

The contents of my /etc/nixos directory

OCaml_Project

Friendly Template for OCaml Projects

ocamlverse.github.io

Documentation of everything relevant in the OCaml world

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Palette

Handles the BIN (JASC-PAL) file format used by Age of Empires (1997)

Software-Foundations-Checklist

A checklist of the exercises I have completed in the Software Foundations series: https://softwarefoundations.cis.upenn.edu