jvanburen Goto Github PK
Name: Jacob Van Buren
Type: User
Bio: Types are good
Location: NYC
Jacob Van Buren's Projects
21-373-s16
Notes for Algebraic Structures, taught Spring 2016 at Carnegie Mellon University, by Professor Clinton Conley.
adv360-pro-zmk
Production repository for the all-new Advantage360 Professional using ZMK engine
async_ssl
Async wrappers for ssl
cactus
API and programs for Cactus the Robot
clikclac
The First Clac-to-C Cross-compiler!
cttk
Constant-Time Toolkit
doorvim
A vgetty door-answering machine for my apartment.
flow
Adds static typing to JavaScript to improve developer productivity and code quality.
handwaveypi
IR blob tracker for raspberry pi
herb
Run code and API for Herb: the wonder robot
herbold
Run Code for HERB the wonder robot
hotc-notes
Notes on higher-order typed compilation. Probably wrong
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-vector
radix-balanced finger trees
ocamll
OCaml array bounds checking
ocamllvm
The Flambda backend project for OCaml
peda
PEDA - Python Exploit Development Assistance for GDB
phs-votes
Voting Program for PHS. UI in beta, collection program in dev.
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.
resistanceisfutile
Here's looking at you, Ford.
rif
Resistance is Futile 2: Colorblind Boogaloo
rsactftool
RSA tool for ctf - retreive private key from weak public key and/or uncipher data
sexp_diff_kernel
Code for computing the diff of two sexps
slither
Slitherlink Solver
smlnj-warn-unused
Downloads, modifies, and builds the SML/NJ compiler with a check for unused bindings.
spawn
Spawning sub-processes
z0
Symbolic analysis for C0
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.