Verify Cairo contracts in Lean 4
☆20May 22, 2025Updated 9 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 8 months ago
- Resources for Starknet MEV☆16Oct 25, 2024Updated last year
- Make/Encode some basic logic puzzles☆18Jul 10, 2024Updated last year
- 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
- Solana Super Smart Contract☆36Dec 6, 2025Updated 3 months ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆35Updated this week
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆80Dec 11, 2025Updated 2 months ago
- Interactive formal verification tool for Yul programs☆78Nov 19, 2025Updated 3 months ago
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- 💎 Virtual crypto exchange for testing purposes. API is compatible with major crypto exchanges.☆12Feb 14, 2019Updated 7 years ago
- Forest Fuels from Brown's Transects☆11Dec 14, 2018Updated 7 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Self service portal for aws workspace☆11Dec 10, 2023Updated 2 years ago
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 3 months 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
- ☆18Jan 27, 2026Updated last month
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 7 months ago
- 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 3 years ago
- A smart contract language for Tezos☆12Mar 25, 2022Updated 3 years ago
- ☆10Dec 24, 2021Updated 4 years ago
- Formalization of Mathematical Logic☆211Updated this week
- MCP server for development in Rust☆26Updated this week
- ☆13Jan 5, 2026Updated 2 months ago
- Converts ANTLR grammar .g4 files into EBNF for naive-ebnf LaTeX package; also converts to PDF later on☆11Feb 2, 2026Updated last month
- ☆29Updated this week
- This repository contains the results and code for the MLPerf™ Inference v3.1 benchmark.☆11Jul 24, 2025Updated 7 months ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- The official Go SDK for SPIKE, enabling secure secrets management through SPIFFE-authenticated mTLS. Simplifies secrets operations for Go…☆14Jan 20, 2026Updated last month
- Command line interface for COAL cryptocurrency mining.☆11Jan 30, 2025Updated last year
- > Gemini Rust Suite 🦀: A powerful, modular Rust toolkit for interacting with Google Gemini. Features a feature-rich CLI, persistent sema…☆16Apr 23, 2025Updated 10 months ago
- Nix flake for Solana development☆13Jul 8, 2022Updated 3 years ago
- Generalized RISC-V based state transition function for the ZKsync protocol☆28Updated this week
- Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI☆13Nov 4, 2024Updated last year
- Paima Engine Game Templates for developers.☆12Dec 27, 2024Updated last year
- A simple intermediate language for generating EVM bytecode.☆13Oct 17, 2024Updated last year
- A Simple Discord Bot with a Rasa Connection☆10Jan 3, 2025Updated last year
- Conversational Agent for Twitter and Discord☆10Updated this week
- A grant application management web app☆11Mar 19, 2018Updated 7 years ago