pedroangelo/springboot_demo Fork of alcides/springboot_demo

Demo of a SpringBoot application

Language: Java - Size: 80.1 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

pedroangelo/hashtable

Simple hashtable implementation

Language: C - Size: 38.1 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

pedroangelo/emacs-config

My personal emacs configuration files

Language: Emacs Lisp - Size: 114 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

pedroangelo/theme-rotation.el

Change themes in Emacs according to specified time periods.

Language: Emacs Lisp - Size: 36.1 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

pedroangelo/Advent-of-Code

My advent of code solutions for every event

Language: Haskell - Size: 118 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

pedroangelo/pedroangelo.github.io

Language: HTML - Size: 80.1 MB - Last synced: 11 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

pedroangelo/papers

Size: 6.16 MB - Last synced: 11 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

pedroangelo/gradual-intersection-types

A gradually typed language with intersection types

Language: Haskell - Size: 2.46 MB - Last synced: 11 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

pedroangelo/interpreter

An interpreter written in Haskell for a gradually typed functional language

Language: Haskell - Size: 175 KB - Last synced: 11 months ago - Pushed: over 6 years ago - Stars: 4 - Forks: 0

pedroangelo/gradualizer

Language: Haskell - Size: 742 KB - Last synced: 11 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0