Mesabloo

Shameless self-promo: https://github.com/zilch-lang

France

Pinned Repositories

coqide.kak
A fully-fledged CoqIDE-like experience for Kakoune
Language:Rust8 2 00
diagnose
A simple library for reporting compiler/interpreter errors
Language:Haskell267 1 1721
HaSM
An assembly language EDSL for Haskell, compiling into opcodes
Language:Haskell11 1 02
hm-defense
A work-in-progress rewrite from scratch of the old iOS game "Heavy MACH: Defense"
Language:Kotlin34 6 28
jellyvm
A VM written following the Linear Abstract Machine architecture
Language:Haskell22 4 10
nihil
Nihil, a statically typed interpreted functional programming language
Language:Haskell69 3 102
snowstar
Here lies the code for the Snow* programming language, currently being rewritten.
Language:C++33 4 11
Silice
Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.
Language:C++1.4k 41 20586
specification
A complete specification on Zilch and N⋆
Language:TeX11 1 140

Mesabloo's Repositories

Mesabloo/diagnose
A simple library for reporting compiler/interpreter errors
Language:Haskell267 1 1721
Mesabloo/nihil
Nihil, a statically typed interpreted functional programming language
Language:Haskell69 3 102
Mesabloo/hm-defense
A work-in-progress rewrite from scratch of the old iOS game "Heavy MACH: Defense"
Language:Kotlin34 6 28
Mesabloo/jellyvm
A VM written following the Linear Abstract Machine architecture
Language:Haskell22 4 10
Mesabloo/HaSM
An assembly language EDSL for Haskell, compiling into opcodes
Language:Haskell11 1 02
Mesabloo/coqide.kak
A fully-fledged CoqIDE-like experience for Kakoune
Language:Rust8 2 00
Mesabloo/amethyst
A simple concatenative programming language
Language:Haskell6 1 02
Mesabloo/diagnose4j
A port of my Diagnose library for Java
Language:Java6 2 01
Mesabloo/nix-config
My home-manager config, for Nix/NixOS
Language:Nix4 1 0
Mesabloo/paranet
Paranet is a little esoteric language runtime based on distributed computation.
Language:Haskell4 1 01
Mesabloo/mini-noc
Playing around with very unsafe Haskell code
Language:Haskell3 1 0
Mesabloo/blobot
A discord bot for running some blob code
Language:Rust2 1 0
Mesabloo/isabelle.nix
Defines a Nix flake for Isabelle 2022
Language:Nix1 1 11
Mesabloo/pixie
A simple, yet powerful, imperative language with a FFI
Language:Haskell1 2 0
Mesabloo/tex-input.kak
A small layer on top of the insert mode to easily write unicode characters with commands similar to LaTeX.
Language:KakouneScript1 1 0
Mesabloo/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 1 00
Mesabloo/blobox
A visual code editor for blob
Language:JavaScript2 0
Mesabloo/combine
A parser combinator library for Rust
Language:Rust1 0
Mesabloo/coqoune
CoqIDE-like experience for kakoune
Language:Shell2 0
Mesabloo/experiments
A collection of experiments on everything, from type-theory to GUI
Language:Haskell2 1
Mesabloo/fairy-vm
A little VM with a simple FFI
Language:C++1 0
Mesabloo/isar-mode
A simple emacs mode for Isabelle (.thy) files
Language:Emacs Lisp1 0
Mesabloo/kakship
Thin wrapper around starship.rs to format kakoune status line
Language:Rust1 0
Mesabloo/Mesabloo
Just a quick description
1 0
Mesabloo/notify-send.py
A python-script like libnotify but with improved functionality
Language:Python1 0
Mesabloo/plicC
A simple compiler for my compilation theory course
Language:Java1 0
Mesabloo/printiest
A pretty printer for Lean 4
Language:Lean
Mesabloo/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:C1 0
Mesabloo/Silice
Silice is an open source language that simplifies prototyping and writing algorithms on FPGA architectures.
Language:C++2 0
Mesabloo/vcpu
A simple virtual CPU based on the Scott CPU
Language:Rust1 0