Pinned Repositories
course-plan
courseplan.io is a web app built in Vue.js to allow Cornell students to plan out their 4-year course schedule and track their college, major, and minor requirements.
swift
The Swift Programming Language
petr4
Petr4: Formal Semantics for P4
bril
an educational compiler intermediate representation
cka
A decision procedure for refinement of series-rational expressions
college-recipes
Final project for Trends in Web Dev. Users can enter their own quick college recipes or browse those entered by others.
course-plan-micro
cs6120
advanced compilers
cs6120-task1
ece4750-tut2-git
ECE 4750 Tutorial 2: Git Distributed Version Control System
zachary-kent's Repositories
zachary-kent/bril
an educational compiler intermediate representation
zachary-kent/cka
A decision procedure for refinement of series-rational expressions
zachary-kent/college-recipes
Final project for Trends in Web Dev. Users can enter their own quick college recipes or browse those entered by others.
zachary-kent/course-plan-micro
zachary-kent/cs6120
advanced compilers
zachary-kent/cs6120-task1
zachary-kent/ece4750-tut2-git
ECE 4750 Tutorial 2: Git Distributed Version Control System
zachary-kent/ece4750-tut3-verilog
ECE 4750 Tutorial 3: Verilog Hardware Description Language
zachary-kent/ece5725-final
zachary-kent/iris-tutorial
zachary-kent/ksp-gui
A Tkinter GUI that allows you to control a Kerbal Space Program Rocket.
zachary-kent/mcc
Micro C Compiler
zachary-kent/mse1140-design-project
Contains the CSV parser and Work/Power calculations for MSE 1140 design project
zachary-kent/OneFile
The world's first wait-free Software Transactional Memory
zachary-kent/reloc
zachary-kent/swift
The Swift Programming Language
zachary-kent/trends-final
zachary-kent/type-inference
An implementation of Hindley-Milner type inference for the lambda calculus
zachary-kent/xic