Pinned Repositories
atom-uhh
a plugin that makes atom sound as unsure as you!
bunched-fuzz
crew-tv-dash
TV Dashboard for the CS Crew TV
forest-fire
cellular automata forest fire
gml-popl24
hapi-sleep
hapi plugin to generate an insomnia route export file with all your routes
juniper-rs
toy programming language
otek
An unopinionated project builder for everyone.
Prattlebox
irc using electron
raycaster
A raycaster rendering engine in javascript
junewunder's Repositories
junewunder/otek
An unopinionated project builder for everyone.
junewunder/juniper-rs
toy programming language
junewunder/atom-uhh
a plugin that makes atom sound as unsure as you!
junewunder/bunched-fuzz
junewunder/hapi-sleep
hapi plugin to generate an insomnia route export file with all your routes
junewunder/alg_w
junewunder/gml-popl24
junewunder/agda-mode
agda-mode on Atom
junewunder/agda-mode-vscode
agda-mode on VS Code
junewunder/cactus
Immutable cactus stack
junewunder/crew-processing-tutorial
A tutorial in Processing to teach some simple and fun graphics with python
junewunder/CS-275-Statics-Simulator
junewunder/dfuzz
Linear Dependent Types for Differential Privacy TypeChecker
junewunder/dotfiles
junewunder/dotfiles-1
my dot files
junewunder/insomnia
The most intuitive cross-platform REST API Client 😴
junewunder/jarsec-verified
Final project for CS 295 Software Verification
junewunder/junewunder
junewunder/keymap
junewunder/mastermind-front
junewunder/number-game
junewunder/ocaml
The core OCaml system: compilers, runtime system, base libraries
junewunder/optimus
IS OPTIMUS PRIME?
junewunder/PLushie
a base language with nice features
junewunder/redirect
chrome extension to help people focus on their work
junewunder/rust-lisp
A LISP implemented in rust. Creative naming to come...
junewunder/schedule-builder
junewunder/Todo
junewunder/uvm-scheduler
A (kinda jank) tool to help UVM students plan out their schedules
junewunder/uvmhs