dslab-epfl / chef-symbex-pythonView external linksLinks
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
- DIY LED Juggling Balls☆11Sep 19, 2021Updated 4 years ago
- run commands in a container environment without root☆11Nov 1, 2016Updated 9 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
- Monocerus emulator framework☆11Mar 28, 2019Updated 6 years ago
- Script your gmail filters through a sieve-like language☆11Apr 15, 2020Updated 5 years ago
- A Scala-based parser for the latest PHP versions☆12Oct 12, 2018Updated 7 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆10Oct 25, 2017Updated 8 years ago
- ☆12Jan 21, 2024Updated 2 years ago
- Das Kochbuch, das Nerds das Kochen beibringt☆12Jan 14, 2014Updated 12 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- 🕒 🐇 I'm late I'm late for a very important date☆13Apr 29, 2021Updated 4 years ago
- Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.☆17Feb 6, 2026Updated last week
- ☆24Updated this week
- 異常発音☆10Updated this week
- 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
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 7 years ago
- FTP client for humans.☆10Oct 11, 2015Updated 10 years ago
- MultiStep MCP That Returns CVE Information With EPSS Score☆13May 22, 2025Updated 8 months ago
- sce -- minimalist console editor (no highlighting, no plugins, no modes, no Emacs)☆14Aug 14, 2024Updated last year
- A command-line parser for Standard ML☆21Dec 29, 2025Updated last month
- A LevelDB-backed RDFLib Store for RDFLib=>6.0☆19May 23, 2024Updated last year
- NIST P-256 signatures for Cortex-M4 microcontrollers☆15Mar 14, 2021Updated 4 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
- Installs Ruby and node.js on your machine☆11Mar 24, 2017Updated 8 years ago
- Descriptor is a spec-style test structuring library for rust☆11Jun 19, 2016Updated 9 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- I'm learning Rust!☆13Nov 24, 2018Updated 7 years ago
- Tor relay nearest neighbour ranking☆10Oct 18, 2021Updated 4 years ago
- DNS server written in Common Lisp☆11Jan 19, 2012Updated 14 years ago
- The Cloud9 main repository☆54Sep 11, 2013Updated 12 years ago
- A nix flake for running 9front virtual machines with drawterm☆52Nov 21, 2025Updated 2 months ago
- ☆16Dec 29, 2018Updated 7 years ago
- Multics (Multiplexed Information and Computing Service) was a mainframe time sharing operating system begun in 1965☆15Sep 10, 2024Updated last year
- minimal lisp that compiles to x86☆10Mar 19, 2017Updated 8 years ago