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/ecco
An Educational C COmpiler written in Python, written for use in my Practical Compiler Design course
CharlesAverill/yarr
Yet Another Relativistic Renderer
CharlesAverill/prettybird
CharlesAverill/C_Project
Friendly Template for C Projects
CharlesAverill/CoqPhysicsExperiments
A sandbox for me to derive high-level physical relationships from logical axioms
CharlesAverill/GoFR
A Programming Language controlled by the game of Go
CharlesAverill/purple_archive
A simple compiled language
CharlesAverill/_CardWarsDominionPlanning
CharlesAverill/fontmorph
A shell script to interpolate between two METAFONT styles based on Donald Knuth's 1982 "The Concept of a Meta-Font"
CharlesAverill/owme
OWME Window Manager Emulator
CharlesAverill/ATCGames
Game files for BSDGames/ATC
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/bdf2ttf
Convert BDF font file to TTF (embed bitmap as is, not conver to vector)
CharlesAverill/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
CharlesAverill/gocaml
A Go engine for OCaml
CharlesAverill/HackerOOT
CharlesAverill/iGibson
A Simulation Environment to train Robots in Large Realistic Interactive Scenes
CharlesAverill/irvl_bookshelf
A catalogue of the contents of the bookshelf and cabinets of UTD's Intelligent Robotics and Vision Laboratory, containing foundational computer network research among other things
CharlesAverill/lerna
A Peer-to-Peer Communication Platform
CharlesAverill/libzidx
CharlesAverill/lucid-lang
VSCode Integration for the Lucid language
CharlesAverill/mfcode
VSCode Integration for METAFONT
CharlesAverill/moonlightplt
CharlesAverill/oot
Decompilation of The Legend of Zelda: Ocarina of Time
CharlesAverill/PDMusic
A collection of Public Domain music from "The International Library of Music"
CharlesAverill/PhysicsBookTemplate
A LaTeX template for nice physics books or other documents
CharlesAverill/satyrn_frontend
CharlesAverill/svgs2ttf
Bundle SVG images into a TTF via FontForge.
CharlesAverill/TheMETAFONTBook
Following along with Donald Knuth's METAFONTBook of the "Computers & Typesetting" Set