Pinned Repositories
hs-web3
Web3 API for Haskell
chanterelle
Chanterelle -- a more functional truffle
purescript-web3
a purescript library for the web3 api
arithmetic-circuits
factors
A demo application for zk-snarks in Haskell
arkworks-bridge
Importing R1CS and witness files into arkworks via json
calc
purescript-monadic-streams
servant-zeppelin
Server Side Loading JSON
straw
Compiling to SNARKs
martyall's Repositories
martyall/straw
Compiling to SNARKs
martyall/arkworks-bridge
Importing R1CS and witness files into arkworks via json
martyall/calc
martyall/risc0-ttc
martyall/snarkl
martyall/categorifier
Interpret Haskell programs into any cartesian closed category.
martyall/circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
martyall/circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
martyall/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
martyall/Cores-VeeR-EL2
VeeR EL2 Core
martyall/crate2nix
nix build file generator for rust crates
martyall/dataflow
martyall/elk
martyall/galois-field
Finite field and algebraic extension field arithmetic
martyall/home.nix
nix home-manager configuration
martyall/keelung
The Keelung Language
martyall/martyall.github.io
martyall/mlh-consolidator
martyall/platform-chipsalliance
CHIPS Alliance: development platform for PlatformIO
martyall/propagators
The Art of the Propagator. See also:
martyall/purescript-js-bigints
martyall/purescript-ocelot
An opinionated component library for Halogen apps
martyall/purescript-web3-tests
martyall/purescript-zk
martyall/purs-zk
martyall/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
martyall/riscv-fw-infrastructure
SDK Firmware infrastructure, contain RTOS Abstraction Layer, demos, SweRV Processor Support Package, and more ...
martyall/rust-sandbox
martyall/top-trading-cycle
martyall/trail-runs
visualizing strava data