Mark Barbone

linux-network-performance-parameters. Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺

chamelean. Property-based testing for Lean via metaprogramming

KATch2. Rust

flat-bril. A flattened AST for Bril + an interpreter over the flat file format

kosaraju. Haskell implementation of Kosaraju's decision procedure for reachability on Vector Addition Systems with States (VASS).

goodtags. a tag app, but good

LHL. Linearizability Hoare Logic

netkat. Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks

VoteKit. A Swiss Army Knife for computational social choice research

nerode-public. OCaml

at. Effective Algebraic Topology in Haskell

caqe. CAQE is a solver for quantified Boolean formulas

carbon-lang. Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

cognitive-ai-benchmarking. cognitive-ai-benchmarking

cooltt. 😎TT

pika. A WIP little dependently-typed systems language

durin. the Dependent Unboxed higher-oRder Intermediate Notation

UCSDHistEnrollData. Did someone say... scuffed UCSD historical enrollment data?

eegg. Python

ParsleyHaskell. Reimplementation of Parsley in Haskell, with improvements

delphin. The Delphin Project

agda-soas. Agda formalisation of second-order abstract syntax

stlc. This aims to be the most pretentious implementation of stlc in existence

synox. Rust library for program synthesis of string transformations from input-output examples 🔮

setoidtt. Prototype implementations of systems based on setoid type theory

primdata. Haskell

adventofcode. Advent of code solutions in Standard ML.

mlts. Prolog

sfpl. A simple functional programming language.

flatparse. Fast parsing from bytestrings

vehicle. A toolkit for enforcing logical specifications on neural networks

perennial. Verifying concurrent storage and distributed systems

shiru-ts. TypeScript

aam-visualizer. JavaScript

toltec. Community-maintained repository of free software for the reMarkable tablet.

smt2. SMT-LIB 2 parsing library for Rust

bitmaptrie-rs. Rust bitmapped vector trie

sprite-lang. An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

MLPolyR. The MLPolyR programming language, revived

sljit. Platform independent low-level JIT compiler

Beluga. Contextual types meet mechanized metatheory!

starlight. JS engine in Rust

PGM-index. 🏅State-of-the-art learned data structure that enables fast lookup, predecessor, range searches and updates in arrays of billions of items using orders of magnitude less space than traditional indexes

yourforth. This is yourforth an educational Forth in Intel assembler, with exercises.

warren. Warren abstract machine Rust crate

simple-tracing-jit. A simple interpreter featuring a tracing JIT

dynasm-rs. A dynasm-like tool for rust.

APL-For-FP-Programmers. JavaScript

haskell-in-haskell. Trying to write an understandable implementation of Haskell, in Haskell

cobol-on-wheelchair. Micro web-framework for COBOL

libremarkable. The only public framework for developing applications with native refresh support for Remarkable Tablet

smalltt. Demo for high-performance type theory elaboration

type-inference. Unification and type inference algorithms

micro-mitten. You might not need your garbage collector

izuna. Show Haskell type annotations when doing code review on Github

sheng. A small DFA for under 16 states

zig-ansi. ANSI utilities for CLI usage in Zig.

scripts. [ THIS PROJECT IS CURRENTLY ON HALT :( ] A set of bash scripts that may enhance your reMarkable experience

language-c-quote. Haskell

logos. Create ridiculously fast Lexers

faster-minikanren. A fast implementation of miniKanren with disequality and absento, compatible with Racket, Chez, and Guile.

mmtk-core. Memory Management ToolKit

flix. The Flix Programming Language

elpi. Embeddable Lambda Prolog Interpreter

lasso. A fast, concurrent string interner

quest. The Quest programming language

moniker. Automagical variable binding library for Rust

stoke. STOKE: A stochastic superoptimizer and program synthesizer

rowan. Rust

AmnesiaTheDarkDescent. C++

gtkcord3. A Gtk3 Discord client in Golang

loom. Concurrency permutation testing tool for Rust.

legato-old. Reference server implementation of the Harmony protocol.(old version, git history too large so kept for preservational purposes)

tree-sitter. An incremental parsing system for programming tools

tagged-box. A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro interface to safely create NaN-boxed enums.

pronoun.is. Show people how to use pronouns!

rust-nbe-for-mltt. Normalization by evaluation for Martin-Löf Type Theory with dependent records

elaboration-zoo. Minimal implementations for dependent type checking and elaboration

lsp. Haskell library for the Microsoft Language Server Protocol

lsp-server. Rust

lsp-types. Types for communicating with a language server

printf-tac-toe. tic-tac-toe in a single call to printf

prime-calendar. iCalendar file contains only prime days

neovim-remote. :ok_hand: Support for --remote and friends.

fvim. Cross platform Neovim front-end UI, built with F# + Avalonia

interface.zig. Dynamic dispatch for zig made easy

hexameter. My personal site with React + Gatsby

desed. Debugger for Sed: demystify and debug your sed scripts, from comfort of your terminal.

Idris2. A purely functional programming language with first class types

mal. mal - Make a Lisp

masm-rs. Macro assembler for Rust

rock. Build system

patter. A to-be statically compiled lisp dialect making heavy use of pattern matching

higher-rank. A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

sail. Sail architecture definition language

Kami. Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT

ghdl. VHDL 2008/93/87 simulator