Zak Kent's repositories
bril
an educational compiler intermediate representation
Language:RustMIT000
cka
A decision procedure for refinement of series-rational expressions
Language:OCamlMIT000
college-recipes
Final project for Trends in Web Dev. Users can enter their own quick college recipes or browse those entered by others.
000
Language:JavaScript000
cs6120
advanced compilers
Language:HTMLMIT000
Language:OCaml000
ece4750-tut2-git
ECE 4750 Tutorial 2: Git Distributed Version Control System
000
ece4750-tut3-verilog
ECE 4750 Tutorial 3: Verilog Hardware Description Language
000
Language:HTML000
ksp-gui
A Tkinter GUI that allows you to control a Kerbal Space Program Rocket.
Language:Python000
mcc
Micro C Compiler
Language:YaccBSD-3-Clause000
mse1140-design-project
Contains the CSV parser and Work/Power calculations for MSE 1140 design project
Language:Python000
swift
The Swift Programming Language
Apache-2.0000
Language:TypeScript000
type-inference
An implementation of Hindley-Milner type inference for the lambda calculus
Language:HaskellBSD-3-Clause000
Language:HaskellBSD-3-Clause000