lindy-labs / aegisView external linksLinks
Verify Cairo contracts in Lean 4
☆20May 22, 2025Updated 8 months ago
Alternatives and similar repositories for aegis
Users that are interested in aegis are comparing it to the libraries listed below
Sorting:
- ☆12Nov 19, 2024Updated last year
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated 7 months ago
- Resources for Starknet MEV☆16Oct 25, 2024Updated last year
- Make/Encode some basic logic puzzles☆18Jul 10, 2024Updated last year
- Category theory and algebra☆27Aug 4, 2016Updated 9 years ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆30Jan 31, 2026Updated 2 weeks ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- A framework for smart contract verification in Coq☆124Jan 25, 2026Updated 3 weeks ago
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆76Dec 11, 2025Updated 2 months ago
- Interactive formal verification tool for Yul programs☆77Nov 19, 2025Updated 2 months ago
- 💎 Virtual crypto exchange for testing purposes. API is compatible with major crypto exchanges.☆12Feb 14, 2019Updated 7 years ago
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- Secure personal genomics using cryptography☆11Oct 9, 2025Updated 4 months ago
- ☆18Jan 27, 2026Updated 2 weeks ago
- ☆24Updated this week
- This project is used to automatically grab the query results of ChatGPT in batches without manual input. And it supports automatic switch…☆14Feb 28, 2023Updated 2 years ago
- Self service portal for aws workspace☆10Dec 10, 2023Updated 2 years ago
- Pump.fun Anchor SDK: IDL & CPI only Solana program (smart contract)☆15Dec 13, 2024Updated last year
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- A smart contract language for Tezos☆12Mar 25, 2022Updated 3 years ago
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 3 months ago
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 6 months ago
- Kukai Core Swift is a native Swift library for interacting with the Tezos blockchain and other applications in the Tezos ecosystem☆10Updated this week
- プログラミング de 落書きで公開しているコードを共有します☆24Updated this week
- ☆10Dec 24, 2021Updated 4 years ago
- Website for www.ambitionfund.org, micro-grant program to provide support for underrepresented people who need financial assistance pursui…☆13Jan 6, 2023Updated 3 years ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs☆18Jun 5, 2025Updated 8 months ago
- ☆13Jan 5, 2026Updated last month
- jamstack (js, api, markup) generator. js + css + html boilerplate size ~10kb.☆11Dec 12, 2024Updated last year
- Sudoku in the Browser☆11Jun 11, 2025Updated 8 months ago
- Run GitHub GraphQL queries and mutations in VS Code☆13Apr 15, 2022Updated 3 years ago
- Tools to deploy a Polkadot/Kusama validator node.☆10Dec 27, 2024Updated last year
- Examples and Guides☆10Mar 29, 2024Updated last year
- About solana jupiter cpi test, swap spl tokens in pda☆11Dec 23, 2024Updated last year
- A Terraform module that generates JSON documents for access for common AWS SSM Parameter Store policies☆16May 29, 2025Updated 8 months ago
- Solidity contracts for the Starknet Decentralized Protocol proposal☆12Apr 24, 2025Updated 9 months ago
- A trade robot on pumpfun use DeepSeek AI☆12Feb 5, 2025Updated last year
- Process for Polymesh Association grant program☆18Jun 19, 2024Updated last year