Block or Report
Block or report martyall
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
-
circom-compat Public
Forked from arkworks-rs/circom-compatArkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Rust Apache License 2.0 UpdatedApr 16, 2024 -
-
propagators Public
Forked from ekmett/propagatorsThe Art of the Propagator. See also:
Haskell Other UpdatedApr 1, 2024 -
purescript-ocelot Public
Forked from citizennet/purescript-ocelotAn opinionated component library for Halogen apps
PureScript Apache License 2.0 UpdatedMar 22, 2024 -
-
-
-
-
-
-
galois-field Public
Forked from sdiehl/galois-fieldFinite field and algebraic extension field arithmetic
Haskell MIT License UpdatedJan 3, 2024 -
snarkl Public
Forked from sellout/snarkl -
-
arkworks-bridge Public
Importing R1CS and witness files into arkworks via json
-
keelung Public
Forked from btq-ag/keelungThe Keelung Language
Haskell Apache License 2.0 UpdatedDec 4, 2023 -
categorifier Public
Forked from con-kitty/categorifierInterpret Haskell programs into any cartesian closed category.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 1, 2023 -
-
-
circ Public
Forked from circify/circ(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Rust Other UpdatedNov 3, 2023 -
clash-compiler Public
Forked from clash-lang/clash-compilerHaskell to VHDL/Verilog/SystemVerilog compiler
Haskell Other UpdatedOct 31, 2023 -
-
purescript-js-bigints Public
Forked from purescript-contrib/purescript-js-bigintsPureScript MIT License UpdatedSep 16, 2023 -
-
risc0 Public
Forked from risc0/risc0RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
C++ Apache License 2.0 UpdatedAug 13, 2023 -
crate2nix Public
Forked from nix-community/crate2nixnix build file generator for rust crates
Nix Apache License 2.0 UpdatedAug 11, 2023 -
platform-chipsalliance Public
Forked from platformio/platform-chipsallianceCHIPS Alliance: development platform for PlatformIO
Python Apache License 2.0 UpdatedJul 29, 2023 -
riscv-fw-infrastructure Public
Forked from chipsalliance/riscv-fw-infrastructureSDK Firmware infrastructure, contain RTOS Abstraction Layer, demos, SweRV Processor Support Package, and more ...
C Apache License 2.0 UpdatedJul 28, 2023 -
Cores-VeeR-EL2 Public
Forked from chipsalliance/Cores-VeeR-EL2VeeR EL2 Core
SystemVerilog Apache License 2.0 UpdatedJun 30, 2023