jvanburen

Types are good

NYC

Pinned Repositories

21-373-s16
Notes for Algebraic Structures, taught Spring 2016 at Carnegie Mellon University, by Professor Clinton Conley.
Language:TeX14 2 102
ClikClac
The First Clac-to-C Cross-compiler!
Language:OCaml10
doorvim
A vgetty door-answering machine for my apartment.
Language:Python00
handwaveypi
IR blob tracker for raspberry pi
Language:Python10
Herb
Run code and API for Herb: the wonder robot
Language:Java10
hotc-notes
Notes on higher-order typed compilation. Probably wrong
Language:TeX20
ocaml-vector
radix-balanced finger trees
Language:OCaml00
rif
Resistance is Futile 2: Colorblind Boogaloo
Language:Python3 3 01
smlnj-warn-unused
Downloads, modifies, and builds the SML/NJ compiler with a check for unused bindings.
Language:Shell1 2 00

jvanburen's Repositories

jvanburen/21-373-s16
Notes for Algebraic Structures, taught Spring 2016 at Carnegie Mellon University, by Professor Clinton Conley.
Language:TeX14 2 102
jvanburen/rif
Resistance is Futile 2: Colorblind Boogaloo
Language:Python3 3 01
jvanburen/hotc-notes
Notes on higher-order typed compilation. Probably wrong
Language:TeX20
jvanburen/ClikClac
The First Clac-to-C Cross-compiler!
Language:OCaml10
jvanburen/handwaveypi
IR blob tracker for raspberry pi
Language:Python10
jvanburen/Herb
Run code and API for Herb: the wonder robot
Language:Java10
jvanburen/phs-votes
Voting Program for PHS. UI in beta, collection program in dev.
Language:Python11
jvanburen/smlnj-warn-unused
Downloads, modifies, and builds the SML/NJ compiler with a check for unused bindings.
Language:Shell1 2 00
jvanburen/doorvim
A vgetty door-answering machine for my apartment.
Language:Python00
jvanburen/ocaml-vector
radix-balanced finger trees
Language:OCaml00
jvanburen/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
Language:Makefile
jvanburen/async_ssl
Async wrappers for ssl
jvanburen/Cactus
API and programs for Cactus the Robot
Language:Java
jvanburen/CTTK
Constant-Time Toolkit
Language:C
jvanburen/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
Language:OCaml
jvanburen/HerbOld
Run Code for HERB the wonder robot
Language:Java
jvanburen/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml
jvanburen/OCamLL
OCaml array bounds checking
Language:OCaml
jvanburen/OCamLLVM
The Flambda backend project for OCaml
Language:OCaml
jvanburen/peda
PEDA - Python Exploit Development Assistance for GDB
Language:Python
jvanburen/powerline
Powerline is a statusline plugin for vim, and provides statuslines and prompts for several other applications, including zsh, bash, tmux, IPython, Awesome and Qtile.
Language:Python
jvanburen/ResistanceIsFutile
Here's looking at you, Ford.
Language:Python
jvanburen/RsaCtfTool
RSA tool for ctf - retreive private key from weak public key and/or uncipher data
Language:Python
jvanburen/sexp_diff_kernel
Code for computing the diff of two sexps
jvanburen/slither
Slitherlink Solver
Language:Haskell
jvanburen/spawn
Spawning sub-processes
jvanburen/z0
Symbolic analysis for C0
Language:C++

jvanburen

Pinned Repositories

21-373-s16

ClikClac

doorvim

handwaveypi

Herb

hotc-notes

ocaml-vector

rif

smlnj-warn-unused

jvanburen's Repositories

jvanburen/21-373-s16

jvanburen/rif

jvanburen/hotc-notes

jvanburen/ClikClac

jvanburen/handwaveypi

jvanburen/Herb

jvanburen/phs-votes

jvanburen/smlnj-warn-unused

jvanburen/doorvim

jvanburen/ocaml-vector

jvanburen/Adv360-Pro-ZMK

jvanburen/async_ssl

jvanburen/Cactus

jvanburen/CTTK

jvanburen/flow

jvanburen/HerbOld

jvanburen/ocaml

jvanburen/OCamLL

jvanburen/OCamLLVM

jvanburen/peda

jvanburen/powerline

jvanburen/ResistanceIsFutile

jvanburen/RsaCtfTool

jvanburen/sexp_diff_kernel

jvanburen/slither

jvanburen/spawn

jvanburen/z0