nexus-xyz / acl2-experiment
ACL2 experiments on arithmetic circuits
☆12Updated 9 months ago
Alternatives and similar repositories for acl2-experiment:
Users that are interested in acl2-experiment are comparing it to the libraries listed below
- ☆12Updated 2 months ago
- ☆13Updated 2 months ago
- Postgres extension to handle IBC datatypes.☆13Updated last week
- ☆27Updated 6 months ago
- ☆18Updated 2 weeks ago
- ☆40Updated 9 months ago
- Go implementation of a node that operates the Polygon zkEVM Network☆13Updated 7 months ago
- 🦄 An open source interface for the Uniswap protocol☆27Updated last year
- Mendi token contracts☆12Updated 9 months ago
- Seed Providers☆16Updated 5 months ago
- ☆25Updated 6 months ago
- IBC dashboard☆34Updated 2 months ago
- DAO contracts developed by Aragon for Taiko☆20Updated this week
- Ten Documentation provides a comprehensive guide to understanding and integrating TEN☆28Updated 3 weeks ago
- RedStone Oracles documentation☆45Updated last week
- ☆12Updated 11 months ago
- Learn how to permissionlessly pass messages & tokens to and from your chain☆66Updated this week
- A collection of user maintained lists for berachain☆59Updated last month
- Periphery contract for story protocol, mainnet repo☆54Updated last week
- ☆15Updated 10 months ago
- Aspect examples, create a pull request for your brilliant ideas!☆40Updated 8 months ago
- A layer 1 for everyone!☆14Updated last year
- Quick start setup guide for Chainbase AVS☆23Updated 2 weeks ago
- Movement's explorer☆17Updated this week
- ☆36Updated last month
- Chainbase Docs☆19Updated 3 weeks ago
- Humanode tooling for downloading and installing the node with a CLI.☆16Updated last week
- Taiko Alpha 3 Testnet Chainlink node in PostgreSQL with Docker☆27Updated last year
- ☆71Updated this week
- ☆30Updated 6 months ago