Michael Färber (@01mf02)
github

01mf02

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2,779
  • Global Rank 10,694 (Top 0.4 %)
  • Followers 60
  • Registered over 13 years ago
  • Most used languages
    Rust
         47.1 %
    Java
         11.8 %
    Haskell
         5.9 %
    Makefile     5.9 %
    Python
         5.9 %
    Typst     5.9 %
    OCaml
         5.9 %
    Isabelle     5.9 %
    HTML
         5.9 %
  • Location 🇦🇹 Austria
  • Country Total Rank 217
  • Country Ranking
    Isabelle     2
    Rust
         3
    Typst     4
    OCaml
         10
    Haskell
         35
    Makefile     36
    HTML
         157
    Python
         533
    Java
         851

Top repositories

1

jaq

A jq clone focussed on correctness, speed, and simplicity
Rust
2,685
star
2

kontroli-rs

Alternative implementation of the logical framework Dedukti in Rust
Rust
21
star
3

pandocfilters

Pandoc filters for scientific writing
Python
16
star
4

computers-spaceflight

A cleaned version of the book "Computers in Spaceflight: The NASA Experience"
HTML
13
star
5

hifijson

High-fidelity JSON lexer and parser
Rust
13
star
6

codesnake

Pretty printer for non-overlapping code spans
Rust
8
star
7

cop-rs

Connection provers in Rust
Rust
7
star
8

notes

PhD diary
Makefile
3
star
9

sml-ocaml

SML to OCaml converter
Haskell
3
star
10

thesis

Master's thesis
Isabelle
2
star
11

jq-lang-spec

Formal specification of the jq language
Typst
2
star
12

lazy-mt

Multi-threaded lazy evaluation in Rust
Rust
1
star
13

uct

Functional UCT
OCaml
1
star
14

DS

Java
1
star
15

lazy-st

Single-threaded lazy evaluation in Rust
Rust
1
star
16

lea

Files for the Léa compiler
Java
1
star
17

parcours

Parser Combinators for Unique Results
Rust
1
star