Static analysis toolkit for security analysis in Aleo programs
☆10Mar 29, 2024Updated last year
Alternatives and similar repositories for vanguard-aleo
Users that are interested in vanguard-aleo are comparing it to the libraries listed below
Sorting:
- Curation of DevSecOps tools that all work together inside the minimum amount of containers. Just run make exec and read the How To!☆38Nov 11, 2024Updated last year
- The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)☆34Oct 23, 2023Updated 2 years ago
- ☆108Mar 2, 2026Updated last week
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- ☆38Feb 11, 2022Updated 4 years ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38May 2, 2023Updated 2 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- ☆10Aug 16, 2022Updated 3 years ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- The availability of the government of the United States of America☆142Nov 13, 2025Updated 3 months ago
- RickRoll your friends like a pro! Just enter a webpage URL and let the magic happen. Every click on the page will send you to the one and…☆11Aug 4, 2024Updated last year
- Limits asset outflows from contracts within customisable timeframes☆11May 7, 2022Updated 3 years ago
- A simple guideline for MacOs Security.☆13Jun 15, 2022Updated 3 years ago
- ☆12Jan 13, 2025Updated last year
- ☆22Apr 28, 2025Updated 10 months ago
- Permissionless pooling of NFT's into an ERC20.☆14Dec 22, 2022Updated 3 years ago
- ☆11Nov 27, 2024Updated last year
- General-purpose implementations of ERC-792 Arbitrables.☆12Jun 21, 2024Updated last year
- DAML library for integration with Ethereum (driven using DAML's Java bindings, web3j, ethereumj and Infura)☆11Dec 5, 2023Updated 2 years ago
- ☆12Nov 29, 2023Updated 2 years ago
- PancakeSwap Prediction Bot 🔮☆15Jan 3, 2023Updated 3 years ago
- ☆10Jun 5, 2022Updated 3 years ago
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- ☆13May 5, 2018Updated 7 years ago
- A simple bash script to automated the majority of NIST hardening requirements for MacOS☆14Nov 21, 2019Updated 6 years ago
- ☆13May 3, 2012Updated 13 years ago
- NearAI integration for LangChain☆12Apr 12, 2025Updated 10 months ago
- This repository contains research papers & studies that I have worked on or am currently working on.☆12Jan 29, 2026Updated last month
- Node compatible web3 provider for App Wallets☆10Jan 7, 2023Updated 3 years ago
- ☆20Jan 30, 2026Updated last month
- 🌎 a small server that returns the location of a given IP address☆16Feb 10, 2014Updated 12 years ago
- Generalised ERC721 Auction House☆12Dec 16, 2021Updated 4 years ago
- ☆10Jan 14, 2023Updated 3 years ago
- A library for training crosscoders☆16May 28, 2025Updated 9 months ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 3 years ago
- 👾 quantum tensorflow machine learning deployment on k8s☆13Nov 10, 2024Updated last year
- Bidirectional transformation between Yao IR and QASM.☆11Dec 6, 2020Updated 5 years ago
- ☆13Jul 19, 2025Updated 7 months ago