Rose Kunkel's repositories
lh-sequent-calc
Sequent calculus proofs in Liquid Haskell
tic-tac-toe
Yet another tic-tac-toe game, implemented in Haskell.
230-wi19-web
Public course materials for CSE 230 (Winter 2019)
Language:HaskellMIT000
dotfiles
Configuration files for Linux environments.
Language:Shell000
egg
egg is a flexible, high-performance e-graph library
Language:RustMIT000
egraphs-good.github.io
egraphs-good website
Language:HTMLMIT000
emacs-mini-frame
Show minibuffer in child frame on read-from-minibuffer
GPL-3.0000
Language:Makefile000
liquidhaskell
Liquid Types For Haskell
Language:HaskellBSD-3-Clause000
melpa
Recipes and build machinery for the biggest Emacs package repo
NOASSERTION000
openssh-portable
Portable OpenSSH
NOASSERTION000
Phonosynthesis
Phonological rule learning using program synthesis
000
quibble
QuizBowl Web App
Language:HaskellBSD-3-Clause000
Language:Rust000
SpecRegenTimerPlugin
Adds a tooltip to the spec orb
Language:JavaBSD-2-Clause000
svntogit-community
Automatic import of svn 'community' repo (read-only mirror)
000
telephone-line
A new implementation of Powerline for Emacs
Language:Emacs LispGPL-3.0000
viuer
Rust library for displaying images in the terminal.
000