kelsien / datagovernancepatternsLinks
Decentralized Data Governance Pattern Library
☆13Updated 2 years ago
Alternatives and similar repositories for datagovernancepatterns
Users that are interested in datagovernancepatterns are comparing it to the libraries listed below
Sorting:
- A common lisp DSL for writing zero knowledge circuits☆18Updated 3 years ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- Lisp implementation of Lurk.☆78Updated last year
- Integration of IBC with Starknet☆21Updated 2 months ago
- Repository for Complex Systems model of the Grassroots Economics Community Inclusion Currency project.☆11Updated 2 years ago
- The Reference Implementation☆20Updated last year
- A Python framework for designing, testing, and validating complex systems through modelling and simulation.☆110Updated 11 months ago
- Moonstream DAO☆17Updated 2 years ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 7 months ago
- ☆12Updated 2 years ago
- ☆33Updated last week
- a lisp built on top of vyper☆43Updated 3 months ago
- Haskell implementation of open games☆38Updated last year
- EVM assembly as an embedded Common Lisp dsl☆21Updated 3 years ago
- A twitter-like social network for REAL Human beings☆11Updated 4 years ago
- A specification for Frames that work across ecosystems☆101Updated last year
- Quadratic Voting web application☆51Updated 4 months ago
- ☆14Updated 3 years ago
- This repo exists to collaborative develop and apply course materials on dynamic games☆11Updated 5 years ago
- An example showing how to read Merkle Patricia Trie for Ethereum block or contract☆18Updated 7 years ago
- An EVM interpreter in Dafny☆133Updated last year
- Shared Lurk source code, including tests and library code.☆18Updated last year
- ☆20Updated 4 years ago
- A complete filecoin lotus and boost docker image to spin up a localnet for smart contract development☆14Updated last year
- Robust Incentives Group☆133Updated 8 months ago
- Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s☆25Updated 2 weeks ago
- ☆36Updated 2 years ago
- A Zero-Knowledge Protocol for Provable User Data Management☆101Updated 9 months ago
- Data aggregator for Cosmwasm☆18Updated 3 years ago
- A Cairo contract to play chess in Starknet.☆38Updated 2 years ago