CharlesAverill

zenith

A wireframe renderer written in OCaml

C_Project

Friendly Template for C Projects

GoFR

A Programming Language controlled by the game of Go

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

ctpe

Coq Tactics in Plain English

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

fontmorph

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

MUTABLE

MUlTiple AssemBly Language Emulator

owme

OWME Window Manager Emulator

aws-lc-verification

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

CharlesAverill

charlesaverill.github.io

fpc-source

My fork of FPC for VOLPIC

gocaml

A Go engine for OCaml

lerna

A Peer-to-Peer Communication Platform

lucid

Language for Unifying CiC Interpretation and Development

lucid-lang

VSCode Integration for the Lucid language

mesh-parametrization

A mesh parametrization tool

mfcode

VSCode Integration for METAFONT

OCaml_Project

Friendly Template for OCaml Projects

ocamlverse.github.io

Documentation of everything relevant in the OCaml world

PhysicsBookTemplate

A LaTeX template for nice physics books or other documents

satyrn_frontend

Software-Foundations-Checklist

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

TheMETAFONTBook

Following along with Donald Knuth's METAFONTBook of the "Computers & Typesetting" Set