Skip to content
View yuxqiu's full-sized avatar

Block or report yuxqiu

Report abuse

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

Report abuse
yuxqiu/README.md

Pinned Loading

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

    R1CS constraints for bits, fields, and elliptic curves

    Rust 186 99

  2. 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 12.9k 1.9k

  3. 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 56

  4. TrueLearnAI/truelearn TrueLearnAI/truelearn Public

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

    Python 12 3

  5. mim mim Public

    An experimental lightclient protocol based on folding scheme

    Rust

  6. logic-parser logic-parser Public

    A one-pass iterative parser and a tableau-based SAT solver for propositional and predicate logic formula

    C++