IncPy: An auto-memoizing Python interpreter that enables incremental recomputation
☆24Oct 4, 2010Updated 16 years ago
Alternatives and similar repositories for IncPy
Users that are interested in IncPy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Mar 13, 2023Updated 3 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 6 years ago
- Superoptimizer using the z3 SMT solver☆17Nov 1, 2025Updated last year
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- ☆11May 27, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A radare2 Python script to dump a raw IA32 binary to an NASM source file☆33Dec 10, 2025Updated 10 months ago
- An architecture plugin for binary ninja to disassemble raw python bytecode☆29Nov 12, 2017Updated 8 years ago
- Config files for my GitHub profile.☆33Jan 6, 2023Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆34Apr 8, 2026Updated 6 months ago
- mean field based inference for dense semantic video segmentation with higher order clique potentials (Pn Potts model)☆16May 10, 2016Updated 10 years ago
- Regular expression Search on the command-line☆16Mar 31, 2025Updated last year
- Python2 compiler package ported to Python3. Compiles Python AST (as produced by the "ast" module) to bytecode assembly and code objects.☆42Jan 6, 2021Updated 5 years ago
- An IDA (Interactive Disassembler) script that can save a chunk of binary from an address.☆11Apr 10, 2019Updated 7 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years 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.
- 𝘋𝘦𝘤𝘰𝘮𝘱𝘪𝘭𝘦 𝘢𝘯𝘺 𝘱𝘺𝘵𝘩𝘰𝘯 𝘴𝘤𝘳𝘪𝘱𝘵 𝘴𝘵𝘢𝘳𝘵𝘪𝘯𝘨 𝘸𝘪𝘵𝘩 𝘦𝘹𝘦𝘤(𝘮𝘢𝘳𝘴𝘩𝘢𝘭.𝘭𝘰𝘢𝘥𝘴(...☆12Jun 1, 2022Updated 4 years ago
- A command line tool to patch Windows Portable Executable (PE) file headers☆12May 26, 2024Updated 2 years ago
- A simple tool for parsing elf binaries☆10Aug 18, 2019Updated 7 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆35Jun 8, 2021Updated 5 years ago
- CPUID database derived from InstLatx64☆15Feb 1, 2020Updated 6 years ago
- Dotfuscator de-obfuscator☆10Apr 9, 2021Updated 5 years ago
- C++ implementation of LZJD algorithm☆11Jul 18, 2020Updated 6 years ago
- simple Elf disassembler☆11Dec 30, 2014Updated 11 years ago
- Solver with Interface window for Cloudflare Turnstile and other Captchas.☆14Oct 7, 2024Updated 2 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.
- ☆12Jun 10, 2021Updated 5 years ago
- ☆10Jan 21, 2022Updated 4 years ago
- ⚙️ Java vs Kotlin comparison (CLBG benchmarks and static bytecode analysis) ⚙️☆10Jun 27, 2019Updated 7 years ago
- ☆11Apr 16, 2019Updated 7 years ago
- Pyasmer is a python bytecode manipulation library☆10Nov 20, 2024Updated last year
- A pytorch implementation of the ICCV2021 workshop paper SimDis: Simple Distillation Baselines for Improving Small Self-supervised Models☆14Jul 15, 2021Updated 5 years ago
- A tool that parses the function trace of IDA that executes VMProtect.☆12Mar 12, 2024Updated 2 years ago
- Trace function calls using lldb☆13Jul 5, 2021Updated 5 years ago
- Frida Python Tool☆14Sep 29, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆12Jan 25, 2025Updated last year
- Re-assemble Python disassembly text to bytecode☆10Apr 5, 2024Updated 2 years ago
- Tools used to make the SHA-1 collision detection library☆13Mar 16, 2017Updated 9 years ago
- Simple tool to add imports recovered by VMSweeper (by Vamit) to VMProtect dump file☆15Jun 27, 2017Updated 9 years ago
- Implementation for "DeltaPhi: Learning Physical Trajectory Residual for PDE Solving"☆13Jun 17, 2024Updated 2 years ago
- The reading list for No Free Checker: A Survey of Verifiers for Robot Policies.☆17Sep 13, 2026Updated last month
- CNC, Arduino, OpenCV, DC Motor or Servo☆11Aug 3, 2016Updated 10 years ago