Pinned Repositories
bpalmeida.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
elegant-emacs
A very minimal but elegant emacs (I think)
emacs-config
granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Idris-dev
A Dependently Typed Functional Programming Language
freest-lang.github.io
FreeST website based on GitHub pages
freest-mode
bpalmeida's Repositories
bpalmeida/bpalmeida.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
bpalmeida/elegant-emacs
A very minimal but elegant emacs (I think)
bpalmeida/emacs-config
bpalmeida/granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
bpalmeida/Idris-dev
A Dependently Typed Functional Programming Language