chfont

Pinned Repositories

chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Language:Rust00
chfont.github.io
Graduate Researcher at CU Boulder
Language:JavaScript00
cs4330project
CSC 4330 Group Project @ LSU
Language:Python01
dotfiles
Contains dotfiles, for easy transfer / restoration
Language:Emacs Lisp00
Faraday-Spaceflight
Code for rockets being designed by Faraday Spaceflight group at LSU.
Language:C++0 3 00
generalprojects-rover
Fall 2021 Rover project
Language:C++00
hermes
A personal notification client / server leveraging ZeroMQ and DBUS, on Linux, for writing custom reminders
Language:Rust1 1 00
RowanVm
A simple RISC-based assembler and virtual machine
Language:C++10
swirl
A model checker for S1S
Language:Python10
Termigotchi
Tamagotchi-like program written in Ruby
Language:Ruby00

chfont's Repositories

chfont/hermes
A personal notification client / server leveraging ZeroMQ and DBUS, on Linux, for writing custom reminders
Language:Rust1 1 00
chfont/RowanVm
A simple RISC-based assembler and virtual machine
Language:C++10
chfont/swirl
A model checker for S1S
Language:Python10
chfont/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Language:Rust00
chfont/chfont.github.io
Graduate Researcher at CU Boulder
Language:JavaScript00
chfont/cs4330project
CSC 4330 Group Project @ LSU
Language:Python01
chfont/dotfiles
Contains dotfiles, for easy transfer / restoration
Language:Emacs Lisp00
chfont/Faraday-Spaceflight
Code for rockets being designed by Faraday Spaceflight group at LSU.
Language:C++0 3 00
chfont/generalprojects-rover
Fall 2021 Rover project
Language:C++00
chfont/Termigotchi
Tamagotchi-like program written in Ruby
Language:Ruby00
chfont/lithos
A work in progress 32 bit kernel targetting x86.
Language:C
chfont/Messaging-Web-Application
Repository for 3380 Project
Language:Python