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 Prolog engine written in Solidity.☆16Updated 3 years ago
- Lisp implementation of Lurk.☆78Updated last year
- EVM assembly as an embedded Common Lisp dsl☆21Updated 3 years ago
- Integration of IBC with Starknet☆21Updated 4 months ago
- A common lisp DSL for writing zero knowledge circuits☆18Updated 3 years ago
- A twitter-like social network for REAL Human beings☆11Updated 4 years ago
- a lisp built on top of vyper☆43Updated last week
- A Python framework for designing, testing, and validating complex systems through modelling and simulation.☆112Updated last year
- A Zero-Knowledge Protocol for Provable User Data Management☆101Updated 11 months ago
- ☆20Updated 4 years ago
- ☆12Updated 2 years ago
- ☆40Updated 2 years ago
- ☆39Updated this week
- Repo for cadCad study group resources☆24Updated 3 years ago
- A Cairo contract to play chess in Starknet.☆38Updated 3 years ago
- A specification for Frames that work across ecosystems☆102Updated last year
- ☆36Updated 2 years ago
- Signature economies smart contracts☆17Updated last year
- Shared Lurk source code, including tests and library code.☆18Updated last year
- An EVM interpreter in Dafny☆134Updated last year
- Robust Incentives Group☆133Updated 10 months ago
- Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethere…☆37Updated 2 months ago
- The Reference Implementation☆20Updated 2 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Updated 3 years ago
- Haskell implementation of open games☆38Updated last year
- A template for creating a UniRep attester.☆23Updated last year
- This repo contains tutorials and demos for learning how to use cadCAD. [task: replace this readme with a real one]☆89Updated last year
- Moonstream DAO☆17Updated 2 years ago
- ☆21Updated 3 years ago
- ➕ A low-level, highly efficient extension to Yul, an intermediate language for the Ethereum Virtual Machine.☆170Updated 3 years ago