
repos
166
ecosystems
24
languages
7
commits
977
─── top repos · by commits
─── repositories
166 totalA programming language for the decentralized web
The Yatima Standard Library
Nix overlays and utils used across projects
Lean4 bindings to Blake3
Lean Neptune bindings
immutable `no_std` data structures suitable for use within Substrate
a Lean4 implementation of the IPLD format
Lean 4 build system and package manager with configuration files written in Lean.
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Basic Http functionality in Lean (unfinished)
No_std buffer library
A smart contract platform with on-chain formal verification
Parser combinators for Lean
IPLD library for no_std use within Substrate
Cid library for no_std use within Substrate
A toy implementation of socket programming for Lean 4.
Official implementation of the Creditcoin protocol
Barnacle is a minimal template for octopus appchain
Decentralized Gaming Engine Node
Hashed Network - Substrate Implementation of Parachain and Solochain
Pendulum prototype: Second Layer Network for Stellar and the DeFi ecosystem
Duniter v2 based on Substrate framework. Contributions only on our gitlab: https://git.duniter.org/nodes/rust/duniter-v2s
Example implementation of curve arithmetic for the ark-substrate curves
Implementation of DEIP Creator Economy Protocol on the substrate-based chain connected to Octopus network
UniversalDot Node based on substrate blockchain implementation.
A Web3.0 forum implemented based on Substrate
OpenSSL bindings for Lean
The Network of Game Finance
Following https://docs.substrate.io/tutorials/build-a-blockchain/add-trusted-nodes/
oneblockplus_offchain_lesson
easydeal appchain
A prototype chain based on substrate
A new FRAME-based Substrate node, ready for hacking.
Bittensor blockchain node
Substrate proof of concept that includes a custom voting pallet.
A new FRAME-based Substrate node, ready for hacking.
Shonky decentralised exchange written using Substrate for the Polkadot Blockchain Academy
Substrate Node with several new branches to demonstrate upgradability
substrate node template
uniswap on substrate
An Frame v2 implementation of feeless txn pallet from Shawn Tabrizi's workshop
See the commit history to see how to implement each tutorials
CryptoKitty based on Substrate.
substrate tutorial poe dapp https://substrate.dev/docs/en/tutorials/build-a-dapp/ https://github.com/hackathonprojs/substrate-node-template
Say hello to substrate
A new FRAME-based Substrate node, ready for hacking.
Carlos substrate POE project
Repository for demo in substrate octopus course k4
A new FRAME-based Substrate node, ready for hacking.
Kylix Finance is a substrate lending app that connects borrowers and lenders, enabling them to supply and borrow assets across the Polkadot chain.
My input will separated from main and focused on branches like rb/Voting0.2
A new FRAME-based Substrate node, ready for hacking.
Final assessment for the Polkadot Blockchain Academy
Alpha version of Substrate port of Grassland Full Node
A new FRAME-based Substrate node, ready for hacking.
A new FRAME-based Substrate node, ready for hacking.
Substrate Based blockchain network having Aura and Grandpa configured
A node to house code for Substrate in Bits content
A new FRAME-based Substrate node, ready for hacking, with the addition of OnFInality's automated deployment scripts
Work in progress mathlib port for lean 4
Build rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly. [maintainer: ???]
A new FRAME-based Substrate node, ready for hacking.
A self-hosted, content-addressed, Lean4 kernel
https://yatima-inc.github.io/ZKSnark.lean/
OpenGL Lean bindings (WIP)
Sudoku formalization in Lean (unfinished)
An Ethereum Dapp
zk-SNARK library
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
A WebAssembly implementation in Lean4
A Rust implementation of the Lean kernel
State-of-the-art streams for Lean 4
The original Haskell + IPFS prototype of the yatima language
Rust Poseidon implementation.
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
zk-SNARK library
zk-SNARK library
Multihash library for no_std use within Substrate
Build rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly.
Lean 4 programming language and theorem prover
zk-SNARK library
zk-SNARK library
zk-SNARK library
─── peer developers
─── ecosystems
─── languages
- Rust135
- Lean15
- Nix5
- Haskell2
- C2
- TypeScript1
- JavaScript1
─── subscriber view
Unlock the full view of Anderssorby
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.



















