Alternatives and similar repositories for pynsy

Users that are interested in pynsy are comparing it to the libraries listed below

• google-research / runtime-error-prediction
  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
• google-research / plur
  PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…
  ☆87Updated 3 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆46Updated 8 months ago
• google-research / babelcode
  ☆52Updated 4 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• gonglinyuan / ast_t5
  ☆65Updated last year
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆21Updated last month
• srush / drop7
  ☆18Updated last year
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 2 months ago
• spcl / CheckEmbed
  Official Implementation of "CheckEmbed: Effective Verification of LLM Solutions to Open-Ended Tasks"
  ☆20Updated last month
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆51Updated 2 months ago
• srush / Tensor-Puzzles-Penzai
  ☆20Updated last year
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• jordiae / neural-compilers
  ☆19Updated 3 years ago
• iree-org / iree-jax
  ☆52Updated 11 months ago
• Jokeren / triton-samples
  ☆28Updated 6 months ago
• srush / triton-autodiff
  Experiment of using Tangent to autodiff triton
  ☆79Updated last year
• CarperAI / Code-Pile
  This repository contains all the code for collecting large scale amounts of code from GitHub.
  ☆110Updated 2 years ago
• google-research / python-graphs
  A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.
  ☆334Updated last year
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆40Updated last year
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆56Updated 3 years ago
• google / init2winit
  ☆76Updated last week
• srush / anynp
  Proof-of-concept of global switching between numpy/jax/pytorch in a library.
  ☆18Updated last year
• google / drjax
  ☆13Updated 2 weeks ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• emalach / LinearLM
  Code for the paper: https://arxiv.org/pdf/2309.06979.pdf
  ☆19Updated 11 months ago
• nunoplopes / torchy
  A tracing JIT compiler for PyTorch
  ☆13Updated 3 years ago
• facebookresearch / coder_reviewer_reranking
  Official code release for the paper Coder Reviewer Reranking for Code Generation.
  ☆45Updated 2 years ago
• gitbugactions / gitbugactions
  ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️
  ☆21Updated this week
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated last week