Pinned Repositories
Advent-of-Code
My advent of code solutions for every event
emacs-config
My personal emacs configuration files
gradual-intersection-types
A gradually typed language with intersection types
gradualizer
hashtable
Simple hashtable implementation
interpreter
An interpreter written in Haskell for a gradually typed functional language
papers
pedroangelo.github.io
springboot_demo
Demo of a SpringBoot application
theme-rotation.el
Change themes in Emacs according to specified time periods.
pedroangelo's Repositories
pedroangelo/theme-rotation.el
Change themes in Emacs according to specified time periods.
pedroangelo/interpreter
An interpreter written in Haskell for a gradually typed functional language
pedroangelo/emacs-config
My personal emacs configuration files
pedroangelo/hashtable
Simple hashtable implementation
pedroangelo/Advent-of-Code
My advent of code solutions for every event
pedroangelo/gradual-intersection-types
A gradually typed language with intersection types
pedroangelo/gradualizer
pedroangelo/papers
pedroangelo/pedroangelo.github.io
pedroangelo/springboot_demo
Demo of a SpringBoot application