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

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 47 3

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

    R1CS constraints for bits, fields, and elliptic curves

    Rust 197 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.6k 2.2k

  4. TrueLearnAI/truelearn TrueLearnAI/truelearn Public

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

    Python 12 3

  5. nix-update-git nix-update-git Public

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

    Rust 3

  6. quillway quillway Public

    A Raycast-style rewrite popup for Wayland: press a shortcut, pick a preset or type an instruction, and a local model rewrites your text

    Rust 1