A Symbolic Execution Tool for Cairo
☆15Jul 25, 2022Updated 4 years ago
Alternatives and similar repositories for __archived__Medjai
Users that are interested in __archived__Medjai are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 4 years ago
- Base64 encode felts☆16Oct 8, 2022Updated 4 years ago
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Oct 7, 2022Updated 4 years ago
- StarkNet smart contract fuzzer☆80Jul 8, 2022Updated 4 years ago
- ☆11Dec 3, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A graph library built with Cairo☆28Jul 12, 2022Updated 4 years ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 4 years ago
- Precise Attack Synthesis for DeFi Apps☆48Aug 15, 2022Updated 4 years ago
- ☆12Mar 30, 2023Updated 3 years ago
- ☆26Aug 14, 2024Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆52Sep 16, 2026Updated last month
- Amarna is a static-analyzer and linter for the Cairo programming language.☆146Feb 14, 2025Updated last year
- ☆17Aug 23, 2022Updated 4 years ago
- Ogame implementation written in cairo☆25Dec 1, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 4 years ago
- ☆21Sep 27, 2023Updated 3 years ago
- ☆21Aug 1, 2026Updated 3 months ago
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 3 years ago
- A collection of example smart contracts written in Huff and built using Foundry.☆10Nov 28, 2025Updated 11 months ago
- GitHub Action to format Cairo files 💄☆11Aug 23, 2022Updated 4 years ago
- One of the fastest embeddable key-value ACID database without WAL. libmdbx surpasses the legendary LMDB in terms of reliability, features…☆12Feb 24, 2023Updated 3 years ago
- Introduction to core development via CTF challenges☆41Sep 9, 2022Updated 4 years ago
- Then I'll huff and I'll puff and I'll blow your house in☆15Oct 21, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Various ERC-721 Dutch Auctions for StarkNet☆31May 28, 2022Updated 4 years ago
- Vyper version manager☆28Feb 6, 2025Updated last year
- Huff Implementation of VRGDAs☆41Sep 12, 2022Updated 4 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Jun 7, 2022Updated 4 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Mar 9, 2023Updated 3 years ago
- ☆47Aug 31, 2023Updated 3 years ago
- A toy Cairo VM implementation in Rust™☆71Jun 7, 2022Updated 4 years ago
- Jupyter kernel for Cairo smart contract language☆32Feb 20, 2022Updated 4 years ago
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Nov 2, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The (unofficial) Cairo extension for vscode☆16Sep 24, 2022Updated 4 years ago
- Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)☆272Apr 22, 2025Updated last year
- ☆27Aug 7, 2023Updated 3 years ago
- foundry-x-chainlink☆31Mar 17, 2022Updated 4 years ago
- ☆74Jun 10, 2022Updated 4 years ago
- ☆82Dec 2, 2022Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago