zevbo

Pinned Repositories

Auidted-Trigger-Docs
0 2 00
civil-optimization
we optimize, courteously
Language:Python0 1 00
comdb2
Bloomberg's distributed RDBMS
Language:C0 1 00
cs124-pas3
Language:Rust0 2 00
cs124-pas3-for-submission
Language:Rust0 2 00
cs124-psa2
Language:OCaml0 2 00
CS243-final-project
Language:Jupyter Notebook0 1 00
CS259
Language:Mathematica0 1 00
StateDimensionLogic
Language:OCaml1 2 01
VirtualRobotMania
Language:OCaml2 3 02

zevbo's Repositories

zevbo/VirtualRobotMania
Language:OCaml2 3 02
zevbo/StateDimensionLogic
Language:OCaml1 2 01
zevbo/Auidted-Trigger-Docs
0 2 00
zevbo/civil-optimization
we optimize, courteously
Language:Python0 1 00
zevbo/comdb2
Bloomberg's distributed RDBMS
Language:C0 1 00
zevbo/cs124-pas3
Language:Rust0 2 00
zevbo/cs124-pas3-for-submission
Language:Rust0 2 00
zevbo/cs124-psa2
Language:OCaml0 2 00
zevbo/CS243-final-project
Language:Jupyter Notebook0 1 00
zevbo/CS259
Language:Mathematica0 1 00
zevbo/cs61-f20-psets
CS 61 problem sets for 2020
Language:C++0 1 00
zevbo/Email-Automated-Dashboard
Language:Python0 1 00
zevbo/eecs598
Advanced Topics on Systems for X
Language:Python0 0
zevbo/Java-Stuffs
Language:Java2 0
zevbo/Lidar2018
Language:Makefile1 0
zevbo/ModernMinkowskiDiagrams
Language:Racket2 0
zevbo/ModernShapes
Language:Java2 0
zevbo/ocaml-smbus
Language:OCaml1 0
zevbo/ocamlsyntax.com
How do you do that recursive GADT thing again?
Language:CSS0 0
zevbo/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell0 0
zevbo/Portfolio
Just a little place for me to show some of the stuff I've done :)
zevbo/Random-Racket-Stuff
Language:Racket1 0
zevbo/SublimeLinter-mypy
mypy static type checking for python
Language:Python0 0