CharlesAverill
UTD CS + Physics, struggling to understand Stephen Wolfram
@SoftwareLanguagesSecurityLabDallas
Pinned Repositories
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
ecco
An Educational C COmpiler written in Python, written for use in my Practical Compiler Design course
kuiper
A terminal-based dating application for UTD students
prettybird
Purple
Purple standard language specification and compiler implementation
satyrn
A Notebook alternative that supports branching code and local collaboration.
volpic
Verifier of Lifted Pascal in Coq
yarr
Yet Another Relativistic Renderer
zenith
A wireframe renderer written in OCaml
CharlesAverill's Repositories
CharlesAverill/zenith
A wireframe renderer written in OCaml
CharlesAverill/C_Project
Friendly Template for C Projects
CharlesAverill/ctpe
Coq Tactics in Plain English
CharlesAverill/GoFR
A Programming Language controlled by the game of Go
CharlesAverill/HCLT
A Coq implementation of "Foundations of Combinatory Logic," the 1930 Ph.D. thesis written by Haskell Curry
CharlesAverill/volpic
Verifier of Lifted Pascal in Coq
CharlesAverill/GBCamel
A Gameboy Color emulator written in OCaml
CharlesAverill/pokefirered
FireRed enhancement based on https://github.com/pret/pokefirered
CharlesAverill/aoc23
Advent of Code 2023
CharlesAverill/camlcards
A card game engine
CharlesAverill/dsbs
Dead-Simple Build System for Coq
CharlesAverill/fontmorph
A shell script to interpolate between two METAFONT styles based on Donald Knuth's 1982 "The Concept of a Meta-Font"
CharlesAverill/MUTABLE
MUlTiple AssemBly Language Emulator
CharlesAverill/owme
OWME Window Manager Emulator
CharlesAverill/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
CharlesAverill/charlesaverill.github.io
CharlesAverill/fpc-source
My fork of FPC for VOLPIC
CharlesAverill/gocaml
A Go engine for OCaml
CharlesAverill/lerna
A Peer-to-Peer Communication Platform
CharlesAverill/lucid
Language for Unifying CiC Interpretation and Development
CharlesAverill/lucid-lang
VSCode Integration for the Lucid language
CharlesAverill/mesh-parametrization
A mesh parametrization tool
CharlesAverill/mfcode
VSCode Integration for METAFONT
CharlesAverill/OCaml_Project
Friendly Template for OCaml Projects
CharlesAverill/ocamlverse.github.io
Documentation of everything relevant in the OCaml world
CharlesAverill/Palette
Handles the BIN (JASC-PAL) file format used by Age of Empires (1997)
CharlesAverill/satyrn_frontend
CharlesAverill/Software-Foundations-Checklist
A checklist of the exercises I have completed in the Software Foundations series: https://softwarefoundations.cis.upenn.edu
CharlesAverill/TheMETAFONTBook
Following along with Donald Knuth's METAFONTBook of the "Computers & Typesetting" Set