nexus-xyz / acl2-experimentLinks
ACL2 experiments on arithmetic circuits
☆12Updated 10 months ago
Alternatives and similar repositories for acl2-experiment
Users that are interested in acl2-experiment are comparing it to the libraries listed below
Sorting:
- ☆13Updated last week
- ☆13Updated 3 months ago
- Postgres extension to handle IBC datatypes.☆14Updated last month
- ☆27Updated 7 months ago
- Explore the full Bitcoin ecosystem with mempool.space, or self-host your own instance with one-click installation on popular Raspberry Pi…☆11Updated 7 months ago
- Go implementation of a node that operates the Polygon zkEVM Network☆13Updated 8 months ago
- ☆18Updated last month
- ☆15Updated 11 months ago
- Movement's explorer☆17Updated this week
- Mendi token contracts☆12Updated 10 months ago
- Seed Providers☆16Updated 6 months ago
- Aspect examples, create a pull request for your brilliant ideas!☆40Updated 9 months ago
- Ten Documentation provides a comprehensive guide to understanding and integrating TEN☆29Updated this week
- Learn how to permissionlessly pass messages & tokens to and from your chain☆67Updated 2 weeks ago
- DAO contracts developed by Aragon for Taiko☆20Updated last week
- ☆40Updated 10 months ago
- Quick start setup guide for Chainbase AVS☆23Updated last month
- Periphery contract for story protocol, mainnet repo☆55Updated last week
- 🦄 An open source interface for the Uniswap protocol☆27Updated last year
- IBC dashboard☆34Updated 3 months ago
- Web3 Foundation Open Grants Program☆50Updated 10 months ago
- ☆12Updated last year
- ☆25Updated 7 months ago
- Story Documentation☆17Updated 2 months ago
- The validator which allows you to participate in the Shardeum network and earn SHM☆14Updated 2 weeks ago
- provides metadata for networkIDs and chainIDs☆15Updated 2 years ago
- A collection of user maintained lists for berachain☆59Updated 2 months ago
- Chainlink functions template so customers can send data on chain using Space and Time.☆41Updated last year
- Talent protocol proof of concept website☆32Updated 4 years ago
- ☆37Updated 2 months ago