Pinned Loading

1. jaq jaq Public

   A jq clone focussed on correctness, speed, and simplicity

   Rust 2.6k 63

2. kontroli-rs kontroli-rs Public

   Alternative implementation of the logical framework Dedukti in Rust

   Rust 21 4

3. cop-rs cop-rs Public

   Connection provers in Rust

   Rust 7 1

4. pandocfilters pandocfilters Public

   Pandoc filters for scientific writing

   Python 16 1

5. computers-spaceflight computers-spaceflight Public

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

   HTML 13 3

6. 01mf02.github.io 01mf02.github.io Public

   Website

   HTML