Pinned Repositories
422-robot-2013
FRC Team 422 robot code for the 2013 season
lh-sequent-calc
Sequent calculus proofs in Liquid Haskell
libuefi
UEFI Bindings for Rust
liquidhaskell-proofs
local-ca
tic-tac-toe
Yet another tic-tac-toe game, implemented in Haskell.
yas.js
y86 assembler, virtual machine, and visualizer in pure Javascript + HTML/CSS
rosekunkel's Repositories
rosekunkel/libuefi
UEFI Bindings for Rust
rosekunkel/yas.js
y86 assembler, virtual machine, and visualizer in pure Javascript + HTML/CSS
rosekunkel/lh-sequent-calc
Sequent calculus proofs in Liquid Haskell
rosekunkel/liquidhaskell-proofs
rosekunkel/local-ca
rosekunkel/tic-tac-toe
Yet another tic-tac-toe game, implemented in Haskell.
rosekunkel/.emacs.d
rosekunkel/230-wi19-web
Public course materials for CSE 230 (Winter 2019)
rosekunkel/chezbob
The main repo for Chez Bob at UCSD.
rosekunkel/dotfiles
Configuration files for Linux environments.
rosekunkel/ec
rosekunkel/egg
egg is a flexible, high-performance e-graph library
rosekunkel/egraphs-good.github.io
egraphs-good website
rosekunkel/elsa
Elsa is a lambda calculus evaluator
rosekunkel/emacs-mini-frame
Show minibuffer in child frame on read-from-minibuffer
rosekunkel/lh-coq-proofs
rosekunkel/lio
Labeled IO Library
rosekunkel/liquid-hardware
rosekunkel/liquidhaskell
Liquid Types For Haskell
rosekunkel/melpa
Recipes and build machinery for the biggest Emacs package repo
rosekunkel/openssh-portable
Portable OpenSSH
rosekunkel/Phonosynthesis
Phonological rule learning using program synthesis
rosekunkel/quibble
QuizBowl Web App
rosekunkel/refined-classes
rosekunkel/score-czech
rosekunkel/SpecRegenTimerPlugin
Adds a tooltip to the spec orb
rosekunkel/svntogit-community
Automatic import of svn 'community' repo (read-only mirror)
rosekunkel/telephone-line
A new implementation of Powerline for Emacs
rosekunkel/viuer
Rust library for displaying images in the terminal.
rosekunkel/z3
The Z3 Theorem Prover