Christian Fontenot's repositories

chfont.github.io

Graduate Researcher at CU Boulder

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

dotfiles

Contains dotfiles, for easy transfer / restoration

Language:Emacs LispStargazers:0Issues:0Issues:0

swirl

A model checker for S1S

Language:PythonLicense:GPL-3.0Stargazers:1Issues:0Issues:0

generalprojects-rover

Fall 2021 Rover project

Stargazers:0Issues:0Issues:0

hermes

A personal notification client / server leveraging ZeroMQ and DBUS, on Linux, for writing custom reminders

Language:RustStargazers:1Issues:0Issues:0

RowanVm

A simple RISC-based assembler and virtual machine

Language:C++Stargazers:1Issues:0Issues:0

lithos

A work in progress 32 bit kernel targetting x86.

Language:CStargazers:0Issues:0Issues:0

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

License:NOASSERTIONStargazers:0Issues:0Issues:0

Faraday-Spaceflight

Code for rockets being designed by Faraday Spaceflight group at LSU.

Language:C++Stargazers:0Issues:0Issues:0

cs4330project

CSC 4330 Group Project @ LSU

Language:PythonStargazers:0Issues:0Issues:0

Termigotchi

Tamagotchi-like program written in Ruby

Language:RubyStargazers:0Issues:0Issues:0

Messaging-Web-Application

Repository for 3380 Project

Language:PythonStargazers:0Issues:0Issues:0