BitDAO Governance contracts framework
☆20Jul 17, 2023Updated 2 years ago
Alternatives and similar repositories for windranger-governance
Users that are interested in windranger-governance are comparing it to the libraries listed below
Sorting:
- ☆16Dec 19, 2022Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- ☆13Apr 23, 2023Updated 2 years ago
- A curated list of the best tools, libs and material about DAO's☆21Apr 18, 2023Updated 2 years ago
- Open Authorization API (OAA) development libraries, connectors and resources.☆17Jan 9, 2025Updated last year
- ☆13Sep 4, 2020Updated 5 years ago
- Pickle Protocols☆127Apr 13, 2023Updated 2 years ago
- ☆34Jun 29, 2023Updated 2 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- ☆32May 25, 2022Updated 3 years ago
- ☆11May 27, 2025Updated 9 months ago
- ☆88Sep 10, 2024Updated last year
- [WIP] Foundry (https://github.com/foundry-rs/foundry) YAML scripting ala Ansible Playbook☆14Jun 16, 2022Updated 3 years ago
- A drop-in replacement for `dapp` and `seth` in Rust☆10Updated this week
- A public repo to hold some code review challenges for RSA Conference 2022☆11Jun 3, 2022Updated 3 years ago
- Construction of CNN model for detection of pneumonia in x-rays from scratch☆10Jun 23, 2021Updated 4 years ago
- Creating React Native Interactive Open Street Map View☆10Jan 26, 2023Updated 3 years ago
- Useful scripts for iOS Pythonista app.☆10Apr 8, 2024Updated last year
- Solidity SDK for Notional Finance☆11Apr 26, 2022Updated 3 years ago
- Building NFT APIs with OpenZeppelin and The Graph☆45Aug 19, 2021Updated 4 years ago
- https://contracts.synapseprotocol.com/bridge☆94Jul 29, 2025Updated 7 months ago
- ThirtyDegreesRay Profile.☆10Oct 11, 2020Updated 5 years ago
- ☆12Mar 17, 2025Updated 11 months ago
- A game skeleton with Phaser using states.☆13Aug 28, 2014Updated 11 years ago
- Motoko fuzzing library☆11Jun 1, 2025Updated 9 months ago
- Sync multiple Google Calendars into one, seamlessly☆11Nov 11, 2020Updated 5 years ago
- A synthwave radio with cool visuals, written in React.☆12Apr 7, 2024Updated last year
- ☆12Feb 3, 2022Updated 4 years ago
- ☆13Jul 25, 2023Updated 2 years ago
- A tiny stack machine to learn Ethereum bytecode.☆12Dec 17, 2024Updated last year
- An example of a GitHub Actions workflow showing how code scanning with CodeQL can be parallelized on monorepos.☆15Dec 14, 2022Updated 3 years ago
- The Ambire AdEx Validator Stack implemented in Rust: sentry, validator worker, adapter, adview manager☆11Mar 25, 2023Updated 2 years ago
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Sep 4, 2024Updated last year
- ☆11Apr 10, 2024Updated last year
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 7 years ago
- An experiment in implementing bi-directional links on a Next.js-powered blog!☆11Dec 17, 2021Updated 4 years ago
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 3 years ago
- ☆10Aug 9, 2023Updated 2 years ago
- HUD for CI activity on `pytorch/pytorch`, provides a top level view for jobs to easily discern regressions☆13Feb 26, 2022Updated 4 years ago