Pinned Repositories
android-ndk-rs
Rust bindings to the Android NDK
idris2-extras
Some extra utilities for programming in Idris 2.
LC-interpreter
A compiler and runtime for normalizing the untyped λ-calculus
poly
A WIP compiler for a functional language. Very incomplete!
prolog
A simple prolog implementation in Rust
sel
Sed Lisp -- a lisp interpreter in GNU sed
simple-lambda-prolog
A simple λProlog interpreter
xtt
A simple implementation of XTT, "A cubical language for Bishop sets"
mb64's Repositories
mb64/sel
Sed Lisp -- a lisp interpreter in GNU sed
mb64/LC-interpreter
A compiler and runtime for normalizing the untyped λ-calculus
mb64/prolog
A simple prolog implementation in Rust
mb64/xtt
A simple implementation of XTT, "A cubical language for Bishop sets"
mb64/simple-lambda-prolog
A simple λProlog interpreter
mb64/poly
A WIP compiler for a functional language. Very incomplete!
mb64/idris2-extras
Some extra utilities for programming in Idris 2.
mb64/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
mb64/sitting-solver
A work in progress! Sitting solver aspires to be a good SAT solver in the future.
mb64/aoc-2020
2020 Advent of Code solutions
mb64/cognitive-ai-benchmarking
cognitive-ai-benchmarking
mb64/elpi
Embeddable Lambda Prolog Interpreter
mb64/elsa
Elsa is a lambda calculus evaluator
mb64/futhark
:boom::computer::boom: A data-parallel functional programming language
mb64/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
mb64/Idris2
A purely functional programming language with first class types
mb64/intern
Hash consing for arbitrary Haskell data types
mb64/language-c-quote
mb64/lexer
A simple lexer generator
mb64/linear-base
Standard library for linear types in Haskell.
mb64/lolli
The Linear Lambda Prolog interpreter, updated to compile with modern SMLNJ
mb64/masm-rs
Macro assembler for Rust
mb64/pipes-and-rust
A small program that runs on your reMarkable 2 and reads the pen movements and paints them on a small website hosted on the tablet itself. No need to install anything else.
mb64/rust
Empowering everyone to build reliable and efficient software.
mb64/rust-analyzer
An experimental Rust compiler front-end for IDEs
mb64/rust-typed-arena
The arena, a fast but limited type of allocator
mb64/scoped_map
An arena-allocated HAMT
mb64/swipl-devel
Main development repository
mb64/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
mb64/ziglearn