Skip to content
View 01mf02's full-sized avatar
Block or Report

Block or report 01mf02

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. jaq jaq Public

    A jq clone focussed on correctness, speed, and simplicity

    Rust 2.6k 61

  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