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:
- Lisp implementation of Lurk.☆71Updated 10 months ago
- ☆12Updated 2 years ago
- A Python framework for designing, testing, and validating complex systems through modelling and simulation.☆107Updated 6 months ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- a lisp built on top of vyper☆43Updated last month
- A twitter-like social network for REAL Human beings☆11Updated 4 years ago
- A common lisp DSL for writing zero knowledge circuits☆18Updated 2 years ago
- Integration of IBC with Starknet☆21Updated this week
- Moonstream DAO☆17Updated last year
- An opcode-oriented language that compiles to the EVM☆73Updated 4 months ago
- EVM assembly as an embedded Common Lisp dsl☆21Updated 2 years ago
- The Reference Implementation☆18Updated last year
- Haskell implementation of open games☆37Updated 9 months ago
- A Zero-Knowledge Protocol for Provable User Data Management☆100Updated 5 months ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆84Updated 3 months ago
- Various form legal agreements☆56Updated 4 months ago
- ☆36Updated 2 years ago
- ☆14Updated 3 years ago
- Vyper resources☆35Updated 3 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆72Updated 2 months ago
- A thought experiment on how an in-game barter system could be implemented with the help of zero-knowledge proofs☆19Updated 3 years ago
- Repo for cadCad study group resources☆24Updated 2 years ago
- ➕ A low-level, highly efficient extension to Yul, an intermediate language for the Ethereum Virtual Machine.☆172Updated 3 years ago
- 💸 Write web apps in Solidity — a Solidity web framework / a proof-of-concept implementation of HTTP over Ethereum.☆163Updated 2 years ago
- A specification for Frames that work across ecosystems☆100Updated 9 months ago
- Basic Noir private proof of membership☆90Updated 3 months ago
- ☆194Updated 2 years ago
- ☆140Updated 5 months ago
- Evolution of the Ethereum Proof-of-Stake Consensus Protocol☆175Updated last year
- Dope Wars game engine on StarkNet L2 roll-up☆107Updated 3 years ago