Function callpath mapping analysis tool for Go
☆34Oct 1, 2026Updated last week
Alternatives and similar repositories for wally
Users that are interested in wally are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jan 29, 2026Updated 8 months ago
- ☆31Dec 22, 2025Updated 9 months ago
- A simple embedded programming language☆21Apr 30, 2026Updated 5 months ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- Sudo for GCP Permissions - a Temporary GCP Privilege Escalation Tool☆25Jan 6, 2023Updated 3 years 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 sample verifier for a toy language built on top of Boogie☆27Nov 24, 2022Updated 3 years ago
- Contains support for Notary Project signature envelope, and format specific implementation☆14Updated this week
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- Configuration Language for Mortals☆12Updated this week
- Actor model implemented in OCaml - early alpha☆10Jun 5, 2020Updated 6 years ago
- ☆10Dec 16, 2024Updated last year
- ☆20Jan 4, 2023Updated 3 years ago
- Python static analyzer☆11Dec 26, 2016Updated 9 years ago
- Multi-node video transcoding engine☆22Jul 10, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 3 years ago
- ☆22Jul 1, 2026Updated 3 months ago
- A simple DNS proxy in go☆41Apr 14, 2019Updated 7 years ago
- An implementation of the Duo Security Web SDK in Go/Golang.☆13May 1, 2020Updated 6 years ago
- ☆111Aug 6, 2024Updated 2 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆12Feb 27, 2020Updated 6 years ago
- Static code analysis tool to find unsafe usages in Go packages and their dependencies☆44Sep 11, 2020Updated 6 years ago
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆19Sep 16, 2026Updated 3 weeks 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.
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆16Jul 27, 2024Updated 2 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- An educational toy fuzzer with big dreams☆12Dec 12, 2023Updated 2 years ago
- Mutagen, a purely functional programming language with Pythonic syntax☆15Aug 31, 2020Updated 6 years ago
- An IRC client library for F#.☆12Sep 12, 2019Updated 7 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- CLI tool for mataroa.blog☆17Nov 9, 2023Updated 2 years ago
- prel(iminary) is an application that temporarily assigns Google Cloud IAM Roles and includes an approval process.☆46Oct 2, 2026Updated last week
- An attempt to better support Minecraft-related content for the Nix ecosystem☆12Feb 1, 2026Updated 8 months 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.
- Apple mDNS Cache Pressure Tool☆17Apr 11, 2026Updated 5 months ago
- Rust library for caching and retrieving EVM state with a simple interface and efficient implementation.☆19Aug 21, 2026Updated last month
- A Discord bot that seamlessly executes bleeding-edge Retrieval-Augmented Generation (RAG) in tandem with a Large Language Model (LLM), sp…☆14Jan 24, 2024Updated 2 years ago
- Website repo for https://containerd.io☆39Updated this week
- A tool to extract historical Uniswap V3 positions data into a CSV☆11Jul 21, 2021Updated 5 years ago
- WTF Snapshot fuzzing of macOS targets☆101May 31, 2024Updated 2 years ago
- A library for extracting and analyzing definition/reference graphs from your codebase. Powered by tree-sitter and LSIF/SCIP.☆62Nov 24, 2024Updated last year