jzgriffin

Jeremiah Griffin's repositories

tlc

Coq development certifying the Temporal Logic of Composable Distributed Components.

Language:Coq1 40

blip

Interdimensional platformer.

Language:C++020

citrushack-2016

Project for CitrusHack 2016.

Language:C++040

delivery-sidekick

Companion app for service delivery drivers to track tips and mileage. This was my CutieHack 2018 project, developed in 12 hours.

Language:Dart020

docker-nats-timesync

Language:Rust010

dotfiles

My configuration files

Language:Lua020

euler-c

Project Euler solutions in C.

Language:CNOASSERTION020

frequencypp

C++17 temporal frequency type

Language:C++ISC010

gros

Research operating system

Language:CMIT010

nokos

My hobby microkernel operating system for i686

Language:CNOASSERTION020

npln

A programming environment for CHIP-8 on PL/0.

Language:C++ISC02 4

roomdetect

Quarter project from CS120B at UC Riverside with Dr. Jeffrey McDaniel.

Language:C020

rshell

rshell assignment for CS100 with Brian Crites at UC Riverside

Language:C++NOASSERTION020

shunting-yard

C++17 implementation of the shunting-yard algorithm

Language:C++ISC020

ucr-cs153-xv6

Fork of the xv6 operating system including changes for CS153 at UC Riverside

Language:CNOASSERTION020

webhook

Flask-based GitHub webhook responder.

Language:Python020

xense

Small operating system kernel project from 2007

Language:CISC010