-
algebra Public
Forked from arkworks-rs/algebraLibraries for finite field, elliptic curve, and polynomial arithmetic
Rust Apache License 2.0 UpdatedMay 5, 2025 -
evdev Public
Rust interface to Linux event devices
-
-
rust-gpu-tools Public
Forked from filecoin-project/rust-gpu-toolsRust tools for OpenCL and GPU management.
Rust Other UpdatedMar 28, 2025 -
-
-
ark-blst Public
Forked from nikkolasg/ark-blstarkwork bindings to blst with GPU support
Rust Apache License 2.0 UpdatedMar 20, 2025 -
ec-gpu Public
Forked from filecoin-project/ec-gpuOpenCL code generator for finite-field arithmetic over arbitrary prime fields
Rust Other UpdatedMar 20, 2025 -
-
subtle Public
Forked from dalek-cryptography/subtlePure-Rust traits and utilities for constant-time cryptographic implementations.
Rust BSD 3-Clause "New" or "Revised" License UpdatedMar 20, 2025 -
poly-commit Public
Forked from arkworks-rs/poly-commitA Rust library for polynomial commitments
Rust Apache License 2.0 UpdatedMar 20, 2025 -
ff Public
Forked from zkcrypto/ffTraits and utilities for working with finite fields.
Rust Apache License 2.0 UpdatedMar 9, 2025 -
-
proof-systems Public
Forked from o1-labs/proof-systemsThe proof systems used by Mina
Rust Apache License 2.0 UpdatedMar 26, 2024 -
isabelle Public
Forked from isabelle-prover/mirror-isabelleGit mirror of https://isabelle.in.tum.de/repos/isabelle
Isabelle Other UpdatedMar 25, 2024 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedMar 12, 2024 -
-
this-week-in-rust Public
Forked from rust-lang/this-week-in-rustData for this-week-in-rust.org
HTML UpdatedFeb 22, 2024 -
-
thy-of-ocaml Public
Forked from formal-land/coq-of-ocamlFormal verification for OCaml
OCaml MIT License UpdatedJan 31, 2024 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedJan 22, 2024 -
blender-graphify Public
A graphification addon for Blender, with a cuboid generator
Python Apache License 2.0 UpdatedJan 21, 2024 -
-
IACR-eprint-mirror Public
Forked from tuxxy/IACR-eprint-mirrorMirror of all PDFs from the IACR's eprint
Python UpdatedJan 14, 2024 -
o1js Public
Forked from o1-labs/o1jsTypeScript framework for zk-SNARKs and zkApps
TypeScript Apache License 2.0 UpdatedDec 19, 2023 -
-
docs2 Public
Forked from MinaProtocol/docs2Docs website for the Mina Protocol.
JavaScript UpdatedNov 14, 2023 -
-
esgea Public
sneaky guys - an exhillerating two-player asymmetric-information game
-
{{ message }}