Tim Carstens's repositories
InterpoliqueQQ
Dan Kaminsky's Interpolique as a Haskell quasi-quoter
risc0-on-eth
Use RISC Zero's zkVM to protect an Ethereum smart contract
NOASSERTION000
Language:TypeScript000
sphinx_press_theme
A Sphinx-doc theme based on Vuepress
time
The most used Rust library for date and time handling.
Apache-2.0000
valida
A STARK-based VM focused on code reuse, performance, and modularity
Apache-2.0000