A modded Python interpreter that supports symbolic execution.
☆11Aug 23, 2015Updated 10 years ago
Alternatives and similar repositories for chef-symbex-python
Users that are interested in chef-symbex-python are comparing it to the libraries listed below
Sorting:
- The Chef symbolic execution platform, based off S2E☆12Nov 1, 2022Updated 3 years ago
- A tiny KVM hypervisor written in Python☆69Jan 7, 2019Updated 7 years ago
- run commands in a container environment without root☆11Nov 1, 2016Updated 9 years ago
- DIY LED Juggling Balls☆11Sep 19, 2021Updated 4 years ago
- Parallel Functional Testing framework, written in Rust☆11Oct 22, 2023Updated 2 years ago
- Lua parser and pretty-printer☆52May 5, 2016Updated 9 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- Installs Ruby and node.js on your machine☆11Mar 24, 2017Updated 8 years ago
- 異常発音☆10Feb 11, 2026Updated 3 weeks ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- Script your gmail filters through a sieve-like language☆11Apr 15, 2020Updated 5 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- ☆26Updated this week
- ☆12Jan 21, 2024Updated 2 years ago
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 7 years ago
- Monocerus emulator framework☆11Mar 28, 2019Updated 6 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆16Mar 14, 2021Updated 4 years ago
- FTP client for humans.☆10Oct 11, 2015Updated 10 years ago
- Another Remote Access Control software, written in Golang. It heavily relies on cryptography to avoid threat of botnet use/abuse by other…☆11Jan 12, 2017Updated 9 years ago
- I'm learning Rust!☆13Nov 24, 2018Updated 7 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆10Oct 25, 2017Updated 8 years ago
- MultiStep MCP That Returns CVE Information With EPSS Score☆13May 22, 2025Updated 9 months ago
- Das Kochbuch, das Nerds das Kochen beibringt☆12Jan 14, 2014Updated 12 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- 🕒 🐇 I'm late I'm late for a very important date☆13Apr 29, 2021Updated 4 years ago
- From-scratch kernel built to serve web pages☆28Sep 27, 2025Updated 5 months ago
- Tor relay nearest neighbour ranking☆10Oct 18, 2021Updated 4 years ago
- A LevelDB-backed RDFLib Store for RDFLib=>6.0☆19May 23, 2024Updated last year
- sce -- minimalist console editor (no highlighting, no plugins, no modes, no Emacs)☆14Aug 14, 2024Updated last year
- Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.☆17Updated this week
- DNS server written in Common Lisp☆11Jan 19, 2012Updated 14 years ago
- A Scala-based parser for the latest PHP versions☆12Oct 12, 2018Updated 7 years ago
- Descriptor is a spec-style test structuring library for rust☆11Jun 19, 2016Updated 9 years ago
- The Cloud9 main repository☆54Sep 11, 2013Updated 12 years ago
- A nix flake for running 9front virtual machines with drawterm☆53Nov 21, 2025Updated 3 months ago
- A library-companion to register custom data types that can be encoded and decoded for json.lua☆12May 21, 2023Updated 2 years ago
- Bachelor's thesis 2019☆12Jun 3, 2023Updated 2 years ago
- Annotator.js plugin for creating and displaying annotations in the margin of a page☆11Jul 20, 2017Updated 8 years ago