- Thessaloniki, Greece
- https://gakonst.com
- @gakonst
Stars
- All languages
- AsciiDoc
- Assembly
- Batchfile
- BitBake
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Fennel
- Go
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Io
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- LilyPond
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mermaid
- Metal
- Move
- Mustache
- Nim
- Nix
- Noir
- OCaml
- Objective-C
- PHP
- PLSQL
- Perl
- PostScript
- PowerShell
- Python
- R
- RPC
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Scala
- Shell
- Smarty
- Solidity
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- TypeScript
- VBA
- VHDL
- Verilog
- Vim Script
- Visual Basic
- Vue
- Vyper
- WebAssembly
- Wikitext
- Yul
- ZIL
- Zig
tikv / jemallocator
Forked from gnzlbg/jemallocatorRust allocator using jemalloc as a backend
Blockstream / electrs
Forked from romanz/electrsAn efficient re-implementation of Electrum Server in Rust
filecoin-project / bellperson
Forked from zkcrypto/bellmanzk-SNARK library
namada-net / namada-trusted-setup
Forked from AleoNet/aleo-setupNamada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers
rs-tml / rstml
Forked from stoically/syn-rsxRust+html (JSX-like) parser for TokenStreams aka rsx
asonnino / narwhal
Forked from facebookresearch/narwhalImplementation of BFT consensus protocols based on the Narwhal mempool.
hl-archive-node / nanoreth
Forked from paradigmxyz/rethReth-based hyperliquid archive node
op-rs / op-reth
Forked from paradigmxyz/rethFork of OP-Reth for developing capability to server proofs in FP window
maciejhirsz / tiny-bip39
Forked from infincia/bip39-rsA Rust implementation of BIP-0039
A pure-Rust implementation of Bulletproofs using Ristretto.
hero78119 / risc0-nova
Forked from risc0/risc0RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
ignopeverell / grin
Forked from mimblewimble/grinMinimal implementation of the MimbleWimble protocol.
danielxiangzl / Block-STM
Forked from diem/diemDiem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Boscop / mincode
Forked from bincode-org/bincodeA minimal binary encoder / decoder implementation in Rust.
goerli / parity-goerli
Forked from openethereum/parity-ethereumThe Clique engine for Parity Ethereum staging repository, will be merged upstream
Zero-knowledge gadget for Sparse Merkle Tree.
matter-labs-archive / powersoftau
Forked from ebfull/powersoftauCommunal zk-SNARK MPC for Public Parameters
kobigurk / plonk
Forked from dusk-network/plonkPure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
pepyakin / rusty-cannon
Forked from ethereum-optimism/cannonFork of cannon that supports Rust
Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood
Rust implementation of CoEpi backend. (Deprecated)
trepca / multi-party-ecdsa
Forked from ZenGo-X/multi-party-ecdsaRust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).
Divide-By-0 / halo2-secp
Forked from personaelabs/halo2-secphalo2 with secq256k1 curve in the IPA backend for efficient ZK proofs of secp256k1 ECDSA operations
Support for Miniscript and Output Descriptors for rust-bitcoin
jangernert / readability
Forked from kumabook/readabilityPort of arc90labs-readability with rust