Alternatives and similar repositories for pynsy:

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

• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆32Updated 10 months ago
• google-research / babelcode
  ☆51Updated last month
• 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 / drjax
  ☆11Updated last month
• srush / anynp
  Proof-of-concept of global switching between numpy/jax/pytorch in a library.
  ☆18Updated 9 months ago
• gonglinyuan / ast_t5
  ☆60Updated 11 months ago
• 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
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 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…
  ☆88Updated 3 years ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆52Updated 3 years ago
• srush / drop7
  ☆18Updated 11 months ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆19Updated 8 months ago
• aks2203 / easy-to-hard
  Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"
  ☆59Updated 3 years ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• srush / Tensor-Puzzles-Penzai
  ☆20Updated 11 months ago
• Ying1123 / awesome-neural-symbolic
  A list of awesome neural symbolic papers.
  ☆47Updated 2 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆43Updated 5 months ago
• nunoplopes / torchy
  A tracing JIT compiler for PyTorch
  ☆13Updated 3 years ago
• dselsam / lean-gym
  ☆12Updated 2 years ago
• facebookresearch / coder_reviewer_reranking
  Official code release for the paper Coder Reviewer Reranking for Code Generation.
  ☆42Updated 2 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆19Updated 2 months ago
• srush / triton-autodiff
  Experiment of using Tangent to autodiff triton
  ☆78Updated last year
• LearningOpt / pie
  ☆50Updated 8 months ago
• facebookexperimental / protoquant
  Prototype routines for GPU quantization written using PyTorch.
  ☆21Updated 2 months ago
• joey00072 / microjax
  Jax like function transformation engine but micro, microjax
  ☆30Updated 5 months ago
• facebookresearch / macta
  MACTA: A Multi-agent Reinforcement Learning Approach for Cache Timing Attacks and Detection
  ☆46Updated last year
• codetlingua / codetlingua
  ☆17Updated last year
• google-deepmind / codesembench
  ☆16Updated last year
• spcl / CheckEmbed
  Official Implementation of "CheckEmbed: Effective Verification of LLM Solutions to Open-Ended Tasks"
  ☆17Updated 4 months ago