Discover @01mf02 Open Source projects

Michael Färber (@01mf02)

01mf02

Stars
2,536
Global Rank 11,419 (Top 0.5 %)
Followers 51
Registered almost 13 years ago
Most used languages

Rust
43.8 %

Java
12.5 %

OCaml
6.3 %

Python
6.3 %

HTML
6.3 %

Makefile 6.3 %

Typst 6.3 %

Haskell
6.3 %

Isabelle 6.3 %
Location 🇦🇹 Austria
Country Total Rank 217
Country Ranking

Isabelle 2

Rust
3

Typst 4

OCaml
10

Haskell
34

Makefile 36

HTML
176

Python
531

Java
920

jaq

A jq clone focussed on correctness, speed, and simplicity

kontroli-rs

Alternative implementation of the logical framework Dedukti in Rust

pandocfilters

Pandoc filters for scientific writing

hifijson

High-fidelity JSON lexer and parser

computers-spaceflight

A cleaned version of the book "Computers in Spaceflight: The NASA Experience"

cop-rs

Connection provers in Rust

notes

sml-ocaml

SML to OCaml converter

thesis

Master's thesis

jq-lang-spec

Formal specification of the jq language

lazy-mt

Multi-threaded lazy evaluation in Rust

uct

DS

lazy-st

Single-threaded lazy evaluation in Rust

lea

Files for the Léa compiler

parcours

Parser Combinators for Unique Results