Pinned Loading

1. eniac/zippel eniac/zippel Public

   The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.

   Rust 2

2. arkworks-rs/r1cs-std arkworks-rs/r1cs-std Public

   R1CS constraints for bits, fields, and elliptic curves

   Rust 196 106

3. rust-lang/rust-clippy rust-lang/rust-clippy Public

   A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

   Rust 13.5k 2.2k

4. meta-pytorch/torcheval meta-pytorch/torcheval Public

   A library that contains a rich collection of performant PyTorch model metrics, a simple interface to create new metrics, a toolkit to facilitate metric computation in distributed training and tools…

   Python 247 59

5. TrueLearnAI/truelearn TrueLearnAI/truelearn Public

   A Machine Learning library for predicting and modelling learner engagement with educational resources

   Python 12 3

6. nix-update-git nix-update-git Public

   Update git references (tags, refs, hashes) in Nix flake files and Nix expressions

   Rust 2