Michael Färber
Results
3
repositories owned by
Michael Färber
jaq
2.5k
Stars
60
Forks
Watchers
A jq clone focussed on correctness, speed, and simplicity
kontroli-rs
21
Stars
4
Forks
Watchers
Alternative implementation of the logical framework Dedukti in Rust