Neil Parikh's repositories
brick-todo
Todolist CLI tool written in haskell and brick
lambda-calculus
Implementation for various typed lambda calculi
time-traveling-debugger
A time traveling debugger written in Haskell
Language:Haskell000
Calculator
This my calculator program.
coqpit.vim
Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.
douglashuang.github.io
Personal website and portfolio
neilparikh
Config files for my GitHub profile.
000
partial_lisp
A partial evaluator for lisp.rb
ps1-gen
Haskell eDSL for generating PS1
Language:Haskell000
purescript-sparkle
Infer user interfaces from type signatures
Language:PureScript000
Language:Haskell000
sorbet
A fast, powerful type checker designed for Ruby
Language:C++Apache-2.0000
speed-type
Practice touch/speed typing in emacs
tmuxinator
Manage complex tmux sessions easily
MIT000
www.doc
Write web apps in Word!
Language:Haskell000
xmonad
xmonad config
Language:Haskell000
yabs
Yet Another Bookmarking Site
Language:HTML000