bpalmeida's repositories
bpalmeida.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
elegant-emacs
A very minimal but elegant emacs (I think)
Language:Emacs Lisp000
granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Language:HaskellBSD-3-Clause000
Idris-dev
A Dependently Typed Functional Programming Language
Language:HaskellNOASSERTION000