Pinned Repositories
coqide.kak
A fully-fledged CoqIDE-like experience for Kakoune
diagnose
A simple library for reporting compiler/interpreter errors
HaSM
An assembly language EDSL for Haskell, compiling into opcodes
hm-defense
A work-in-progress rewrite from scratch of the old iOS game "Heavy MACH: Defense"
jellyvm
A VM written following the Linear Abstract Machine architecture
nihil
Nihil, a statically typed interpreted functional programming language
snowstar
Here lies the code for the Snow* programming language, currently being rewritten.
Silice
Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.
specification
A complete specification on Zilch and N⋆
Mesabloo's Repositories
Mesabloo/diagnose
A simple library for reporting compiler/interpreter errors
Mesabloo/nihil
Nihil, a statically typed interpreted functional programming language
Mesabloo/hm-defense
A work-in-progress rewrite from scratch of the old iOS game "Heavy MACH: Defense"
Mesabloo/jellyvm
A VM written following the Linear Abstract Machine architecture
Mesabloo/HaSM
An assembly language EDSL for Haskell, compiling into opcodes
Mesabloo/coqide.kak
A fully-fledged CoqIDE-like experience for Kakoune
Mesabloo/amethyst
A simple concatenative programming language
Mesabloo/diagnose4j
A port of my Diagnose library for Java
Mesabloo/nix-config
My home-manager config, for Nix/NixOS
Mesabloo/paranet
Paranet is a little esoteric language runtime based on distributed computation.
Mesabloo/mini-noc
Playing around with very unsafe Haskell code
Mesabloo/blobot
A discord bot for running some blob code
Mesabloo/isabelle.nix
Defines a Nix flake for Isabelle 2022
Mesabloo/pixie
A simple, yet powerful, imperative language with a FFI
Mesabloo/tex-input.kak
A small layer on top of the insert mode to easily write unicode characters with commands similar to LaTeX.
Mesabloo/tinyraytracer
A non-official fork of https://github.com/ssloy/tinyraytracer where the end goal is to add various stuff as a homework
Mesabloo/blobox
A visual code editor for blob
Mesabloo/combine
A parser combinator library for Rust
Mesabloo/coqoune
CoqIDE-like experience for kakoune
Mesabloo/experiments
A collection of experiments on everything, from type-theory to GUI
Mesabloo/fairy-vm
A little VM with a simple FFI
Mesabloo/isar-mode
A simple emacs mode for Isabelle (.thy) files
Mesabloo/kakship
Thin wrapper around starship.rs to format kakoune status line
Mesabloo/Mesabloo
Just a quick description
Mesabloo/notify-send.py
A python-script like libnotify but with improved functionality
Mesabloo/plicC
A simple compiler for my compilation theory course
Mesabloo/printiest
A pretty printer for Lean 4
Mesabloo/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Mesabloo/Silice
Silice is an open source language that simplifies prototyping and writing algorithms on FPGA architectures.
Mesabloo/vcpu
A simple virtual CPU based on the Scott CPU