Lib.rs

Michael Färber created 12 crates

• jaq

  Founded in May 2021. Last updated a month ago.

• jaq-std

  2.1K Founded in Apr 2022. Last updated a month ago.

• jaq-core

  2.4K Founded in May 2021. Last updated a month ago.

• jaq-parse

  2.4K Founded in Apr 2022. Last updated a month ago.

• hifijson

  Founded in Jan 2023. Last updated 3 months ago.

• kocheck

  Founded in Mar 2021. Last updated 8 months ago.

• kontroli

  Founded in Aug 2020. Last updated a year ago.

• dedukti-parse

  Founded in Jul 2021. Last updated a year ago.

• nested-modules

  Founded in Jul 2020. Last updated 2 years ago.

• meancop

  Founded in Mar 2021. Last updated 2 years ago.

• cop

  Founded in Mar 2021. Last updated 2 years ago.

• lazy-st

  Founded in Jul 2020. Last updated 2 years ago.