Mesabloo

diagnose. A simple library for reporting compiler/interpreter errors

nihil. Nihil, a statically typed interpreted functional programming language

hm-defense. A work-in-progress rewrite from scratch of the old iOS game "Heavy MACH: Defense"

snowstar. Here lies the code for the Snow* programming language, currently being rewritten.

jellyvm. A VM written following the Linear Abstract Machine architecture

HaSM. An assembly language EDSL for Haskell, compiling into opcodes

oneiric. A small kernel + OS based on how dreams work

coqide.kak. A fully-fledged CoqIDE-like experience for Kakoune

snowstar_old. Snow* was an old ASM-like language running on its own VM. It has not been updated since 1 year and will probably never again.

amethyst. A simple concatenative programming language

diagnose4j. A port of my Diagnose library for Java

bfhs. bf.hs, a small BrainFuck interpreter written in Haskell

snowstar-lang. This project is the `Snow*` "official" website.

paranet. Paranet is a little esoteric language runtime based on distributed computation.

nix-config. My home-manager config, for Nix/NixOS

beamer-theme. A simple colorful beamer theme

fugue. 🎼 A compiler to native Go code for Distributed PlusCal, an extension of Lamport's PlusCal featuring channels and other distributed features.

mini-noc. Playing around with very unsafe Haskell code

snowstar-vscode. Syntax highlighter for Visual Studio Code for the Snow* programming language

blobot. A discord bot for running some blob code

pixie. A simple, yet powerful, imperative language with a FFI

tinyraytracer. A non-official fork of https://github.com/ssloy/tinyraytracer where the end goal is to add various stuff as a homework

isabelle.nix. Defines a Nix flake for Isabelle 2022

tex-input.kak. A small layer on top of the insert mode to easily write unicode characters with commands similar to LaTeX.

academic-cv. TeX