Pinned Loading

1. jaq jaq Public

   A jq clone focussed on correctness, speed, and simplicity

   Rust 3.3k 96

2. kontroli-rs kontroli-rs Public

   Alternative implementation of the logical framework Dedukti in Rust

   Rust 22 4

3. cop-rs cop-rs Public

   Connection provers in Rust

   Rust 12 1

4. pandocfilters pandocfilters Public

   Pandoc filters for scientific writing

   Python 18 1

5. computers-spaceflight computers-spaceflight Public

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

   HTML 18 3

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

   Website

   HTML