Adam Smolarek's repositories
Actyx
Local-First Cooperation based on Event Sourcing
awesome-substrate
A curated list of awesome projects and resources related to the Substrate blockchain development framework.
cosmos-sdk
Rollkit-enabled fork of cosmos-sdk.
dolly
Databricks’ Dolly, a large language model trained on the Databricks Machine Learning Platform
dolos
Cardano Data Node
frontier
Ethereum compatibility layer for Substrate.
gpt4all
gpt4all: an ecosystem of open-source chatbots trained on a massive collections of clean assistant data including code, stories and dialogue
homebrew-macos-cross-toolchains
macOS cross compiler toolchains
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
moonmath
Solutions to exercises from MoonMath Manual to zkSNARKs.
noname
Noname: a programming language to write zkapps
nym
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
plfa.github.io
An introduction to programming language theory in Agda
Plonky3
A collection of libraries related to polynomial IOPs (PIOPs)
proof-systems
The proof systems used by Mina
recipes
A Hands-On Cookbook for Aspiring Blockchain Chefs
ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
snarky
OCaml DSL for verifiable computation
Spartan
Spartan: High-speed zkSNARKs without trusted setup
subalfred
Your Substrate Alfred.
substrate
Substrate: The platform for blockchain innovators
substrate-archive
Blockchain Indexing Engine
substrate-front-end-template
A Polkadot.js API + React based template for building Substrate Front Ends
substrate-node-template
A new FRAME-based Substrate node, ready for hacking.
vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
zkp-tests
Playing with zero-knowledge proof languages