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
Language:C17 3 31
DEFFS
Distributed, Encrypted, Fractured File System - A custom distributed file system written in C with FUSE
Language:C14 4 61
ecco
An Educational C COmpiler written in Python, written for use in my Practical Compiler Design course
Language:Python12 4 09
kuiper
A terminal-based dating application for UTD students
Language:Python10 3 100
prettybird
Language:Python7 3 452
Purple
Purple standard language specification and compiler implementation
Language:C5 3 31
satyrn
A Notebook alternative that supports branching code and local collaboration.
Language:JavaScript9 4 604
volpic
Verifier of Lifted Pascal in Coq
Language:OpenEdge ABL3 3 40
yarr
Yet Another Relativistic Renderer
Language:Cuda12 3 00
zenith
A wireframe renderer written in OCaml
Language:OCaml19 2 00

CharlesAverill's Repositories

CharlesAverill/zenith
A wireframe renderer written in OCaml
Language:OCaml19 2 00
CharlesAverill/C_Project
Friendly Template for C Projects
Language:C4 3 00
CharlesAverill/ctpe
Coq Tactics in Plain English
Language:CSS3 2 2
CharlesAverill/HCLT
A Coq implementation of "Foundations of Combinatory Logic," the 1930 Ph.D. thesis written by Haskell Curry
Language:Coq3 3 0
CharlesAverill/volpic
Verifier of Lifted Pascal in Coq
Language:OpenEdge ABL3 3 40
CharlesAverill/pokefirered
FireRed enhancement based on https://github.com/pret/pokefirered
Language:C2 2 341
CharlesAverill/aoc23
Advent of Code 2023
Language:Pascal1 2 0
CharlesAverill/camlcards
A card game engine
Language:OCaml1 2 0
CharlesAverill/dsbs
Dead-Simple Build System for Coq
Language:OCaml1 2 0
CharlesAverill/fontmorph
A shell script to interpolate between two METAFONT styles based on Donald Knuth's 1982 "The Concept of a Meta-Font"
Language:Shell1 1 0
CharlesAverill/MUTABLE
MUlTiple AssemBly Language Emulator
Language:OCaml1 2 0
CharlesAverill/owme
OWME Window Manager Emulator
Language:OCaml1 2 0
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.
Language:Coq0 0
CharlesAverill/bitstring
OCaml Bitstring - bitstring matching for OCaml
CharlesAverill/CharlesAverill
3 0
CharlesAverill/charlesaverill.github.io
Language:JavaScript3 01
CharlesAverill/fpc-source
My fork of FPC for VOLPIC
Language:Pascal
CharlesAverill/gocaml
A Go engine for OCaml
Language:OCaml2 0
CharlesAverill/lerna
A Peer-to-Peer Communication Platform
Language:OCaml1 0
CharlesAverill/lucid
Language for Unifying CiC Interpretation and Development
Language:OCaml
CharlesAverill/lucid-lang
VSCode Integration for the Lucid language
2 0
CharlesAverill/mesh-parametrization
A mesh parametrization tool
Language:C
CharlesAverill/mfcode
VSCode Integration for METAFONT
Language:JavaScript2 0
CharlesAverill/OCaml_Project
Friendly Template for OCaml Projects
Language:OCaml2 0
CharlesAverill/ocamlverse.github.io
Documentation of everything relevant in the OCaml world
Language:SCSS
CharlesAverill/opam-repository
Main public package repository for opam, the source package manager of OCaml.
CharlesAverill/Palette
Handles the BIN (JASC-PAL) file format used by Age of Empires (1997)
Language:Rust
CharlesAverill/satyrn_frontend
Language:JavaScript4 23
CharlesAverill/Software-Foundations-Checklist
A checklist of the exercises I have completed in the Software Foundations series: https://softwarefoundations.cis.upenn.edu
Language:Shell
CharlesAverill/TheMETAFONTBook
Following along with Donald Knuth's METAFONTBook of the "Computers & Typesetting" Set
2 0