herulume

Eduardo Jorge herulume

Interested in functional programming and formal methods.

110 followers · 221 following

Portugal
https://herulu.me/

Achievements

x3 x3

Achievements

x3 x3

Organizations

herulume Public

Updated Jun 22, 2025
TARDIS Public

My dotfiles

Shell MIT License Updated Jun 4, 2025
DalamudPluginsD17 Public
Forked from goatcorp/DalamudPluginsD17

Dalamud plugin manifests

Python Updated Aug 31, 2024
ocrt Public

OpenerCreator's openers generator

Nix 1 Updated Jul 30, 2024
BLMInTheShell Public
Forked from Tischel/BLMInTheShell

Plugin for FFXIV designed to practice BLM rotations made with https://miyehn.me/ffxiv-blm-rotation/.

GNU General Public License v3.0 Updated Dec 12, 2023
Playground Public

go haskell elixir elm ocaml coq agda

Elixir Updated Jan 6, 2023
ktcg Public

Kotlin Updated Nov 6, 2022
mac Public

My Mac .dotfiles

Lua Updated Sep 27, 2022
mo Public
Forked from samber/mo

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

Go MIT License Updated Jul 25, 2022
kis Public

A simple CI server

go golang ci

Makefile Updated Jul 20, 2022
nixos Public

Nix Updated Jun 8, 2022
bucket Public

bucket sort

Go Updated Dec 28, 2021
Advent-of-Code Public

Haskell Updated Dec 3, 2021
DungeonsDragons Public

My D&D characters

Updated Aug 10, 2021
cp-selenium Public

Haskell BSD 3-Clause "New" or "Revised" License Updated Jun 14, 2021
PC-Pipeline Public

Program Calculi pipeline

Haskell 2 BSD 3-Clause "New" or "Revised" License Updated May 27, 2021
MindPalace Public

Notes on various papers, books and tutorials

MIT License Updated Apr 9, 2021
Character-sheet Public

D&D 5e character sheet

Haskell BSD 3-Clause "New" or "Revised" License Updated Mar 12, 2021
Galculator Public

A functional prototype of a Galois-connection based proof assistant

haskell proof-assistant category-theory galois-connection

Haskell 2 1 GNU Lesser General Public License v3.0 Updated Mar 2, 2021
agda-intro Public

Agda 4 Updated Jan 18, 2021
LTS Public archive

Modelling and analysis of real-time systems

haskell real-time university-project lts transition-systems uppaal timed-automata

Haskell Updated Jun 15, 2020
CP-Basic Public

Template for CP with all the deps

Haskell 5 BSD 3-Clause "New" or "Revised" License Updated May 4, 2020
Formal-Specification Public

Formal specification examples

Alloy MIT License Updated Apr 9, 2020
enei Public archive

HTML Updated Feb 25, 2020
ATSUMinho Public archive

Analysis of Java projects

java unit-testing haskell university-project quickcheck evosuite

Java MIT License Updated Jan 24, 2020
PL Public archive

Language Processing work

flex university-project lexer gawk

C++ MIT License Updated Jul 27, 2019
PresentDSL Public archive

A DSL for HTML presentations/slides

bison flex dsl university-project lex yacc domain-specific-language

C GNU General Public License v3.0 Updated Jul 18, 2019
BN Public archive

Simple battleship game written in assembly

university-project assembly-8086

Assembly 1 Updated Jun 20, 2019
Game-of-Life Public

Ruby MIT License Updated May 8, 2019
SD Public archive

Destributed auction house server

java maven university-project auctions auction-house destributed

Java MIT License Updated Jan 15, 2019

Eduardo Jorge herulume

Achievements

Achievements

Organizations

herulume Public

Uh oh!

TARDIS Public

Uh oh!

DalamudPluginsD17 Public

Uh oh!

ocrt Public

Uh oh!

BLMInTheShell Public

Uh oh!

Playground Public

Uh oh!

ktcg Public

Uh oh!

mac Public

Uh oh!

mo Public

Uh oh!

kis Public

Uh oh!

nixos Public

Uh oh!

bucket Public

Uh oh!

Advent-of-Code Public

Uh oh!

DungeonsDragons Public

Uh oh!

cp-selenium Public

Uh oh!

PC-Pipeline Public

Uh oh!

MindPalace Public

Uh oh!

Character-sheet Public

Uh oh!

Galculator Public

Uh oh!

agda-intro Public

Uh oh!

LTS Public archive

Uh oh!

CP-Basic Public

Uh oh!

Formal-Specification Public

Uh oh!

enei Public archive

Uh oh!

ATSUMinho Public archive

Uh oh!

PL Public archive

Uh oh!

PresentDSL Public archive

Uh oh!

BN Public archive

Uh oh!

Game-of-Life Public

Uh oh!

SD Public archive

Uh oh!