benjaminbollen
physics. decentralised computing. privacy. ai. http://keybase.io/benjaminbollen
EthereumLisboa
benjaminbollen's Stars
ggerganov/llama.cpp
LLM inference in C/C++
Z3Prover/z3
The Z3 Theorem Prover
Consensys/smart-contract-best-practices
A guide to smart contract security best practices
trailofbits/manticore
Symbolic execution tool
autodistill/autodistill
Images to inference with no labeling (use foundation models to train supervised models).
0beqz/realism-effects
SSGI, Motion Blur, TRAA - Effects to enhance your three.js scene's realism
microsoft/Nova
Nova: High-speed recursive arguments from folding schemes
0xPolygonMiden/miden-vm
STARK-based virtual machine
herumi/mcl
a portable and fast pairing-based cryptography library
Plonky3/Plonky3
A toolkit for polynomial IOPs (PIOPs)
operatorai/modelstore
🏬 modelstore is a Python library that allows you to version, export, and save a machine learning model to your filesystem or a cloud storage provider.
risc0/zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
chjj/liburkel
Authenticated key-value store (i.e. an urkel tree)
valida-xyz/valida
A STARK-based VM focused on code reuse, performance, and modularity
paulmillr/noble-bls12-381
DEPRECATED. Use noble-curves instead. Fastest JS implementation of BLS12-381.
penumbra-zone/ed25519-consensus
Ed25519 suitable for use in consensus-critical contexts.
fission-codes/ipfs-cluster-aws
glifio/modules
All Glif npm modules
OpenST/facilitator
CirclesUBI/circles-contracts-v2
Circles Protocol contracts
OpenST/brandedtoken.js
circlesland/circles-platform
fission-codes/fil-cosigner
OpenST/platform-api
OpenST platform v1 API & Internal API Endpoints
aboutcircles/circles-code-quest
CirclesUBI/safe-relay-service
Relay Tx Service for Gnosis Safe
leapdao/sparse-merkle-tree
OpenST/developer-guidelines
Guidelines on code, project setup, etc.
ice09/circlesubi-trustgraph-neo4j
Create a Graph of Social Trust from CircleUBI Contract Event Data
mosaicdao/mosaic-pm
Mosaic specification documents and meeting notes