Mark Barbone (@mb64)
github

mb64

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    216
  • Global Rank 116,019 (Top 4 %)
  • Followers 69
  • Following 7
  • Registered over 7 years ago
  • Most used languages
    Rust
         42.9 %
    OCaml
         14.3 %
    Haskell
         14.3 %
    C
         7.1 %
    Agda     7.1 %
    Idris     7.1 %
    sed     7.1 %

Top repositories

1

sel

Sed Lisp -- a lisp interpreter in GNU sed
sed
51
star
2

LC-interpreter

A compiler and runtime for normalizing the untyped Ξ»-calculus
C
30
star
3

prolog

A simple prolog implementation in Rust
Rust
26
star
4

xtt

A simple implementation of XTT, "A cubical language for Bishop sets"
OCaml
26
star
5

android-ndk-rs

Rust bindings to the Android NDK
Rust
24
star
6

simple-lambda-prolog

A simple Ξ»Prolog interpreter
OCaml
19
star
7

poly

A WIP compiler for a functional language. Very incomplete!
Haskell
16
star
8

idris2-extras

Some extra utilities for programming in Idris 2.
Idris
7
star
9

cubical-free-monads

Verified free monads in cubical agda
Agda
4
star
10

small_morse

Rust library for generating morse code
Rust
3
star
11

smol_stack_machine

A very minimal stack-based architecture
Haskell
2
star
12

sitting-solver

A work in progress! Sitting solver aspires to be a good SAT solver in the future.
Rust
2
star
13

android-rs-glue-test

Rust
1
star
14

bingrep

Search for fixed strings in large binary files
Rust
1
star