Mesabloo

Mesabloo's repositories

diagnose

A simple library for reporting compiler/interpreter errors

Language:HaskellBSD-3-Clause253 3 14

nihil

Nihil, a statically typed interpreted functional programming language

Language:HaskellBSD-3-Clause68 5 10

hm-defense

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

Language:KotlinBSD-3-Clause30 6 2

jellyvm

A VM written following the Linear Abstract Machine architecture

Language:HaskellGPL-3.022 4 1

HaSM

An assembly language EDSL for Haskell, compiling into opcodes

Language:HaskellMIT11 30

oneiric

A small kernel + OS based on how dreams work

Language:CGPL-3.010 4 1

coqide.kak

A fully-fledged CoqIDE-like experience for Kakoune

Language:RustMIT7 30

amethyst

A simple concatenative programming language

Language:HaskellBSD-3-Clause6 20

diagnose4j

A port of my Diagnose library for Java

Language:Java4 20

nix-config

My home-manager config, for Nix/NixOS

Language:Nix4 20

paranet

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

Language:HaskellBSD-3-Clause4 20

mini-noc

Playing around with very unsafe Haskell code

Language:Haskell3 10

blobot

A discord bot for running some blob code

Language:RustMIT2 20

isabelle.nix

Defines a Nix flake for Isabelle 2022

Language:NixMIT1 1 1

pixie

A simple, yet powerful, imperative language with a FFI

Language:HaskellGPL-3.01 20

tinyraytracer

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

Language:C++1 20

blobox

A visual code editor for blob

Language:JavaScriptGPL-3.0020

combine

A parser combinator library for Rust

Language:RustMIT020

coqoune

CoqIDE-like experience for kakoune

Language:ShellZlib020

experiments

A collection of experiments on everything, from type-theory to GUI

Language:HaskellMIT02 1

fairy-vm

A little VM with a simple FFI

Language:C++GPL-3.0020

isar-mode

A simple emacs mode for Isabelle (.thy) files

Language:Emacs Lisp010

kakship

Thin wrapper around starship.rs to format kakoune status line

Language:RustNOASSERTION020

Mesabloo

Just a quick description

020

notify-send.py

A python-script like libnotify but with improved functionality

Language:PythonMIT020

plicC

A simple compiler for my compilation theory course

Language:Java020

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

Language:CGPL-2.0010

Silice

Silice is an open source language that simplifies prototyping and writing algorithms on FPGA architectures.

Language:C++AGPL-3.0020

tex-input.kak

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

Language:KakouneScriptMIT020

vcpu

A simple virtual CPU based on the Scott CPU

Language:Rust020