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:
- 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
- ☆18Updated last year
- General-purpose program synthesiser☆45Updated 7 months ago
- Utilities for constructing a large dataset of LLVM IR☆19Updated 2 weeks ago
- Experiment of using Tangent to autodiff triton☆79Updated last year
- ☆13Updated this week
- ☆16Updated last year
- ☆43Updated 2 years ago
- A tracing JIT compiler for PyTorch☆13Updated 3 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- ☆62Updated 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
- Proof-of-concept of global switching between numpy/jax/pytorch in a library.☆18Updated 11 months ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 3 weeks ago
- ☆52Updated 9 months ago
- ☆20Updated last year
- ☆52Updated 3 months ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆15Updated last year
- ☆18Updated this week
- ☆12Updated 2 years ago
- ☆19Updated 2 years ago
- Code associated to papers on superposition (in ML interpretability)☆28Updated 2 years ago
- Harmonic Datasets☆40Updated 10 months ago
- ☆21Updated 3 months ago
- Learn online intrinsic rewards from LLM feedback☆37Updated 5 months ago
- ☆51Updated 10 months ago
- A list of awesome neural symbolic papers.☆47Updated 2 years ago
- PyTorch centric eager mode debugger☆47Updated 5 months ago
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆20Updated last week