Create single-executable models of distributed systems.
☆20Jun 28, 2021Updated 5 years ago
Alternatives and similar repositories for weldr
Users that are interested in weldr 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 (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 9 years ago
- IDA Pro Python plugin to analyze and annotate Linux kernel alternatives☆23Dec 15, 2021Updated 4 years ago
- A framework for parsing binary data.☆18Aug 12, 2022Updated 4 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆26Mar 28, 2024Updated 2 years ago
- ☆10Mar 19, 2026Updated 7 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆13Dec 29, 2024Updated last year
- ☆13May 5, 2018Updated 8 years ago
- [MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems☆14Jul 8, 2024Updated 2 years ago
- Arduino audio library for nRF52☆11Oct 31, 2019Updated 7 years ago
- Collection of images and examples to use with Shoggoth.☆19Aug 24, 2020Updated 6 years ago
- ☆16Updated this week
- isla coq infrastructure☆23Mar 11, 2025Updated last year
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆56May 26, 2025Updated last year
- ELF patching library in Python☆26Mar 15, 2021Updated 5 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.
- Repository of files associated with the webinar on analog layout using magic and klayout with Matt Venn.☆17Apr 13, 2023Updated 3 years ago
- Modular library for manipulating physically-uncloneable functions☆20Dec 17, 2016Updated 9 years ago
- ☆23Apr 17, 2023Updated 3 years ago
- LSVerifier - Large Systems Verifier☆13Dec 3, 2025Updated 11 months ago
- Repeatable experiments for AsiaCCS 2021 paper☆10Jun 8, 2021Updated 5 years ago
- afl-pytmin is a wrapper of afl-tmin, test case minimizer for American Fuzzy Lop (afl).☆13Apr 14, 2017Updated 9 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 6 years ago
- source code for the examples and topics from the book☆11Mar 11, 2019Updated 7 years ago
- Miscellanous scripts used for malware analysis☆22Oct 4, 2018Updated 8 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.
- Any registry or runtime that claims to have a certain Docker distribution image specification support will be interacting with the variou…☆32Sep 17, 2021Updated 5 years ago
- Pow for Alfred - Alfred V2 Workflow☆11Jan 8, 2014Updated 12 years ago
- ☆12Jun 25, 2020Updated 6 years ago
- QuarkslaB Dynamic Linker library☆91Dec 12, 2024Updated last year
- A Binary Ninja plugin for WebAssembly.☆15Jun 30, 2020Updated 6 years ago
- Performant, flexible, and accurate re-hosting via transplantation☆13Dec 20, 2024Updated last year
- [Docker Cloud System Image] Provides a secure overlay network between nodes☆10Mar 20, 2018Updated 8 years ago
- Accurately and securely extract firmware filesystems without any special permissions☆15Jul 3, 2026Updated 4 months ago
- ☆11Nov 17, 2017Updated 8 years 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.
- No description yet☆11May 26, 2023Updated 3 years ago
- ☆12Dec 16, 2020Updated 5 years ago
- Finds the base address of a firmware by comparing string addresses with target pointer addresses☆57Mar 9, 2025Updated last year
- Simple POC of Voice C2 using Speech Recognition☆13Apr 27, 2022Updated 4 years ago
- tar analysis tool☆23Mar 27, 2025Updated last year
- ☆18Jul 12, 2023Updated 3 years ago
- RISC-V processor plugin for Ghidra☆12Nov 16, 2020Updated 5 years ago