Eduardo Jorge (@herulume)
github

herulume

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    14
  • Global Rank 798,133 (Top 28 %)
  • Followers 107
  • Following 217
  • Registered about 10 years ago
  • Most used languages
    Haskell
         57.1 %
    C#
         14.3 %
    Assembly
         14.3 %
    Agda     14.3 %
  • Location πŸ‡΅πŸ‡Ή Portugal
  • Country Total Rank 3,031
  • Country Ranking
    Agda     1
    Haskell
         16
    Assembly
         45
    C#
         540

Top repositories

1

CP-Basic

Template for CP with all the deps
Haskell
5
star
2

agda-intro

Agda
4
star
3

Character-sheet

D&D 5e character sheet
Haskell
2
star
4

PC-Pipeline

Program Calculi pipeline
Haskell
2
star
5

OpenerCreator

C#
2
star
6

BN

Simple battleship game written in assembly
Assembly
1
star
7

Galculator

A functional prototype of a Galois-connection based proof assistant
Haskell
1
star