Lists (30)
Sort Name ascending (A-Z)
AVS
Cipher
Circom
Crypto
DA
Defi
Des
EVM
EVMStore
FFI
GIT
Gnark
Golang
JSON
Kernel
LEAN
Md
NOIR
Plonky
RiscV
RiscZero
Rust
Sig
Stylus
Term
Tree
TUI
WASM
Web
Zk
- All languages
- Assembly
- Astro
- Bikeshed
- C
- C#
- C++
- CSS
- Cairo
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Dafny
- Dart
- EJS
- Elixir
- F*
- Gleam
- Go
- Groff
- HCL
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- Lean
- Less
- Lua
- MDX
- Makefile
- Markdown
- Mercury
- Move
- Nim
- Nix
- Noir
- Nushell
- OCaml
- PHP
- PureScript
- Python
- RobotFramework
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Scala
- Scheme
- Scilab
- Shell
- Smalltalk
- Solidity
- Starlark
- Svelte
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Typst
- V
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
Starred repositories
A zero-allocation no_std-compatible zero-cost way to add color to your Rust terminal
Proc macro for using doc comments as context for errors/logs/profiling/whatever via `tracing`
Parse JSON file at compile time and embed as serde_json::Value
A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.
Rust crate defining traits for FFI interop with C++ libraries expecting Imath(-a-like) types
Core traits and adapters to unify experience among various zkVMs.
A derive macro for implementing the display Trait via a doc comment and string interpolation
A library providing direct casting among trait objects implemented by a type
A trait + derive to recursively compute / print the memory usage of a data structure.
Sandbox repository for Paillier and homomorphic encryption experimentation
Elliptic curve based ElGamal Cryptosystem for Additive homomorphism in Noir v1
Toy implementation of snark systems - Groth16, PHGR13 - in Go
OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server setting without reliance on PKI and with security against pre…
Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust
🎨💧 An easy to use base16 scheme manager that integrates with any workflow.