IncPy: An auto-memoizing Python interpreter that enables incremental recomputation
☆23Oct 4, 2010Updated 15 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:
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 3 years ago
- FlowZero: Zero-Shot Text-to-Video Synthesis with LLM-Driven Dynamic Scene Syntax☆18Nov 23, 2023Updated 2 years ago
- The Déjà Vu programming language☆15Aug 12, 2014Updated 11 years ago
- phylogenetic networks using ggplot2 and ggtree☆13Dec 24, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 6 years ago
- ☆10Oct 12, 2017Updated 8 years ago
- ☆18Sep 12, 2019Updated 6 years ago
- Superoptimizer using the z3 SMT solver☆17Nov 1, 2025Updated 7 months ago
- Automatic differentiation for NumPy☆42Jun 14, 2013Updated 13 years ago
- A radare2 Python script to dump a raw IA32 binary to an NASM source file☆33Dec 10, 2025Updated 6 months ago
- 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 open-source streaming drum transcription system for MaxMSP/MaxForLive☆15Jul 23, 2017Updated 8 years ago
- DAFx 2018: Increasing Drum Transcription Vocabulary Using Data Synthesis☆10Sep 5, 2018Updated 7 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.
- Default project สำหรับงาน data science ที่รวมเอา library หลักๆ ที่ต้องใช้บน Python 3.11 ไว้ให้แล้วใน requirements.txt☆21Feb 6, 2024Updated 2 years ago
- ☆13Oct 10, 2017Updated 8 years ago
- Multiscale Atlas of Gene expression for Integrative Cortical Cartography☆15Feb 8, 2024Updated 2 years ago
- Array APIs to write ONNX Graphs☆11Jan 18, 2026Updated 4 months ago
- Transcription of drum sequences☆11Jul 6, 2015Updated 10 years ago
- Source code for ISSTA'24 paper "AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation"☆12Oct 21, 2024Updated last year
- A generalized Chamfer distance implementation in CUDA/Pytorch☆11Sep 17, 2020Updated 5 years ago
- ☆24Dec 15, 2024Updated last year
- [WIP] Python port/rewrite of pbrt, the physically based renderer by Matt Pharr and Greg Humphreys☆13May 19, 2013Updated 13 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Control Systems Toolbox in R☆19Apr 30, 2020Updated 6 years ago
- Official code of *Towards Event-oriented Long Video Understanding*☆12Jul 26, 2024Updated last year
- 🏆 Ambassador Paper for Innovative Use of NLP for Building Educational Applications 2023: Is ChatGPT a Good Teacher Coach? Measuring Zero…☆14Jul 21, 2024Updated last year
- Pythonic OpenGL Bindings☆17Dec 27, 2017Updated 8 years ago
- AArch64 assembler/disassembler support☆11Sep 7, 2017Updated 8 years ago
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆29Sep 7, 2023Updated 2 years ago
- Helper functions for making brain image figures with ggplot☆24Jun 9, 2020Updated 6 years ago
- Macro-from-Micro Planning for High-Quality and Parallelized Autoregressive Long Video Generation☆39Oct 31, 2025Updated 7 months ago
- DOGE ClickBot bypass captcha work 100%☆11May 29, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- R function interface for Matlab☆23Nov 18, 2023Updated 2 years ago
- AutoIt Obfuscator (Python module) lets you protect AutoIt script source code against analysis, reverse engineering, and decompilation usi…☆11Nov 27, 2025Updated 6 months ago
- 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
- Dumb simple ELF parser☆18Dec 30, 2022Updated 3 years ago
- PyQt backend for gevent☆27Jun 17, 2014Updated 11 years ago
- Trace function calls using lldb☆13Jul 5, 2021Updated 4 years ago
- My solutions to the ant book (プログラミングコンテストチャレンジブック [第2版], aka 蟻本, aka 白书)☆25Apr 3, 2022Updated 4 years ago