herulume

Eduardo Jorge's repositories

CP-Basic

Template for CP with all the deps

Language:HaskellBSD-3-Clause5 30

agda-intro

Language:Agda4 30

Character-sheet

D&D 5e character sheet

Language:HaskellBSD-3-Clause2 30

PC-Pipeline

Program Calculi pipeline

Language:HaskellBSD-3-Clause2 30

Galculator

A functional prototype of a Galois-connection based proof assistant

Language:HaskellLGPL-3.01 30

OpenerCreator

Language:C#AGPL-3.01 30

Formal-Specification

Formal specification examples

Language:AlloyMIT030

Advent-of-Code

Language:Haskell030

ATSUMinho

Analysis of Java projects

Language:JavaMIT040

BLMInTheShell

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

GPL-3.0010

BN

Simple battleship game written in assembly

Language:Assembly020

bucket

bucket sort

Language:Go030

cp-selenium

Language:HaskellBSD-3-Clause030

DalamudPluginsD17

Dalamud plugin manifests

Language:Python010

DungeonsDragons

My D&D characters

030

enei

Language:HTML030

Game-of-Life

Language:RubyMIT030

herulume

020

kis

A simple CI server

Language:Makefile020

ktcg

Language:Kotlin020

LTS

Modelling and analysis of real-time systems

Language:Haskell030

mac

My Mac .dotfiles

Language:Lua020

MindPalace

Notes on various papers, books and tutorials

MIT030

mo

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

Language:GoMIT010

nixos

Language:Nix030

PL

Language Processing work

Language:C++MIT030

Playground

Language:Elixir020

PresentDSL

A DSL for HTML presentations/slides

Language:CGPL-3.003 1

SD

Destributed auction house server

Language:JavaMIT040

TARDIS

My dotfiles

Language:Emacs LispMIT030