Louis Heredero

midas

Python 0 0

Maintaining Integrity of Data with Annotated Structures

annotations bachelor-project compile-time data-integrity python type-system

Updated 2026-06-26 13:01:51 +00:00

TB-Docs

Typst 0 0

bachelor-project

Updated 2026-06-24 14:43:57 +00:00

spyglassmc-action

TypeScript 0 0

Check your Minecraft datapack for syntax or schema errors using SpyglassMC

Updated 2026-06-22 22:59:37 +00:00

rivet-typst

Typst 1 3

Register / Instruction Visualizer & Explainer Tool with Typst, using CeTZ

visualization binary assembly typst instruction

Updated 2026-06-16 13:30:30 +00:00

chronos

Typst 3 2

A Typst package to draw sequence diagrams with CeTZ

visualization typst diagram plantuml sequence

Updated 2026-04-07 12:40:12 +00:00

hei-vpn-for-linux

Python 0 0

Python script to use the HEI VPN on Linux. This is an alternative to the Pulse Secure client which no longer works because of 2FA

python hei vpn selenium

Updated 2026-03-05 21:04:06 +00:00

pebble

Python 0 0

A small interpreted language, easy to embed or use for light automation/modding, while teaching me how languages work internally

interpreter language python

Updated 2026-02-09 00:56:06 +00:00

fabulous-fedlex

Typst 0 0

Typst package to cite and show Swiss law articles

Updated 2026-01-26 10:40:29 +00:00

AdventOfCode2025

Lua 0 0

My attempt at Advent of Code (2025)

advent-of-code advent-of-code-2025 aoc2025 computercraft craftos-pc lua

Updated 2025-12-11 11:59:37 +00:00

rally-racer

Python 0 0

hei ml pygame python

Updated 2025-10-27 17:54:39 +00:00

circuiteria

Typst 5 5

Drawing block circuits with Typst made easy, using CeTZ

visualization typst circuit diagram

Updated 2025-08-24 11:01:04 +00:00

typstuff

Typst 1 0

Stuff I made with Typst

typst visualization

Updated 2025-07-24 21:13:30 +00:00

.profile

0 0

Updated 2025-07-13 14:35:14 +00:00

FunProg-Scala

Scala 0 0

Functional Programming course and exercises in Scala

functional-programming scala

Updated 2025-05-20 12:04:24 +00:00

typst-plugin-compiler

Dockerfile 0 0

Simple Docker image to compile Typst WASM plugins

Updated 2025-03-31 09:38:48 +00:00