There are no reviews yet. Be the first to send feedback to the community and the maintainers!
jaq
A jq clone focussed on correctness, speed, and simplicitykontroli-rs
Alternative implementation of the logical framework Dedukti in Rustpandocfilters
Pandoc filters for scientific writinghifijson
High-fidelity JSON lexer and parsercomputers-spaceflight
A cleaned version of the book "Computers in Spaceflight: The NASA Experience"cop-rs
Connection provers in Rustnotes
PhD diarysml-ocaml
SML to OCaml converterthesis
Master's thesisjq-lang-spec
Formal specification of the jq languagelazy-mt
Multi-threaded lazy evaluation in Rustuct
Functional UCTDS
lazy-st
Single-threaded lazy evaluation in Rustparcours
Parser Combinators for Unique ResultsLove Open Source and this site? Check out how you can help us