Mark Barbone

Results 8 repositories owned by Mark Barbone

android-ndk-rs

23
Stars
2
Forks
Watchers

Rust bindings to the Android NDK

verified publisher icon mb64

idris2-extras

7
Stars
0
Forks
Watchers

Some extra utilities for programming in Idris 2.

verified publisher icon mb64

LC-interpreter

29
Stars
2
Forks
Watchers

A compiler and runtime for normalizing the untyped λ-calculus

verified publisher icon mb64

poly

16
Stars
0
Forks
Watchers

A WIP compiler for a functional language. Very incomplete!

verified publisher icon mb64

prolog

27
Stars
1
Forks
Watchers

A simple prolog implementation in Rust

verified publisher icon mb64

sel

50
Stars
0
Forks
Watchers

Sed Lisp -- a lisp interpreter in GNU sed

verified publisher icon mb64

simple-lambda-prolog

18
Stars
1
Forks
Watchers

A simple λProlog interpreter

verified publisher icon mb64

xtt

23
Stars
0
Forks
Watchers

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

verified publisher icon mb64