Michael Färber

jaq. A jq clone focussed on correctness, speed, and simplicity

hifijson. High-fidelity JSON lexer and parser

kontroli-rs. Alternative implementation of the logical framework Dedukti in Rust

computers-spaceflight. A cleaned version of the book "Computers in Spaceflight: The NASA Experience"

pandocfilters. Pandoc filters for scientific writing

codesnake. Pretty printer for non-overlapping code spans

cop-rs. Connection provers in Rust

jq-lang-spec. Formal specification of the jq language

notes. PhD diary

sml-ocaml. SML to OCaml converter

thesis. Master's thesis

parcours. Parser Combinators for Unique Results

uct. Functional UCT

binspan. Binary parsers with span recording

lazy-mt. Multi-threaded lazy evaluation in Rust

kontroli-hs. Alternative implementation of the logical framework Dedukti

lazy-st. Single-threaded lazy evaluation in Rust

lea. Files for the Léa compiler