Mark Barbone

sel. Sed Lisp -- a lisp interpreter in GNU sed

LC-interpreter. A compiler and runtime for normalizing the untyped λ-calculus

xtt. A simple implementation of XTT, "A cubical language for Bishop sets"

prolog. A simple prolog implementation in Rust

android-ndk-rs. Rust bindings to the Android NDK

simple-lambda-prolog. A simple λProlog interpreter

poly. A WIP compiler for a functional language. Very incomplete!

idris2-extras. Some extra utilities for programming in Idris 2.

cubical-free-monads. Verified free monads in cubical agda

small_morse. Rust library for generating morse code

learnxinyminutes-docs. Code documentation written as code! How novel and totally my idea!

finite. Deciding termination for finitary PCF

sitting-solver. A work in progress! Sitting solver aspires to be a good SAT solver in the future.

smol_stack_machine. A very minimal stack-based architecture

loop-printing-pass. simple LLVM pass

bingrep. Search for fixed strings in large binary files

android-rs-glue-test. Rust