google-research / pynsyLinks
Heavyweight Python dynamic analysis framework
☆13Updated last year
Alternatives and similar repositories for pynsy
Users that are interested in pynsy are comparing it to the libraries listed below
Sorting:
- ☆18Updated last year
- Utilities for constructing a large dataset of LLVM IR☆21Updated 3 weeks ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Updated 2 years ago
- ☆43Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated last month
- Proof-of-concept of global switching between numpy/jax/pytorch in a library.☆18Updated last year
- ☆13Updated last week
- ☆12Updated 2 years ago
- A tracing JIT compiler for PyTorch☆13Updated 3 years ago
- Experiment of using Tangent to autodiff triton☆79Updated last year
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆56Updated 3 years ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- Source-to-Source Debuggable Derivatives in Pure Python☆15Updated last year
- ☆20Updated last year
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆88Updated 3 years ago
- General-purpose program synthesiser☆45Updated 8 months ago
- ☆64Updated last year
- ☆52Updated 3 months ago
- 🔍 Code Search Tools & Experiments☆12Updated this week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- Neural theorem proving tutorial, version II☆38Updated last year
- A python library to manipulate formal languages and various automata☆51Updated last month
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆59Updated 3 years ago
- ☆9Updated 2 months ago
- FlexAttention w/ FlashAttention3 Support☆26Updated 8 months ago
- 🧮 Algebraic Positional Encodings.☆14Updated 5 months ago
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆20Updated this week
- Allows to check regexes for overlaps. Based on greenery by @qntm.☆53Updated last year
- Official Implementation of "CheckEmbed: Effective Verification of LLM Solutions to Open-Ended Tasks"☆20Updated last week