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
  ☆31Updated 9 months ago
• srush / drop7
  ☆18Updated 10 months ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆50Updated 3 years ago
• google-research / crossbeam
  ☆43Updated last year
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆17Updated 6 months ago
• 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 / babelcode
  ☆51Updated last week
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• srush / anynp
  Proof-of-concept of global switching between numpy/jax/pytorch in a library.
  ☆18Updated 8 months ago
• srush / triton-autodiff
  Experiment of using Tangent to autodiff triton
  ☆76Updated 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
• gonglinyuan / ast_t5
  ☆59Updated 10 months ago
• facebookexperimental / protoquant
  Prototype routines for GPU quantization written using PyTorch.
  ☆19Updated last month
• facebookresearch / oni
  Learn online intrinsic rewards from LLM feedback
  ☆34Updated 2 months ago
• davisyoshida / abnormal-floats
  Code for the note "NF4 Isn't Information Theoretically Optimal (and that's Good)
  ☆18Updated last year
• google-deepmind / alta
  ☆21Updated 5 months ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆14Updated 10 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆59Updated last month
• srush / Tensor-Puzzles-Penzai
  ☆20Updated 10 months ago
• Ying1123 / awesome-neural-symbolic
  A list of awesome neural symbolic papers.
  ☆45Updated 2 years ago
• facebookresearch / coder_reviewer_reranking
  Official code release for the paper Coder Reviewer Reranking for Code Generation.
  ☆42Updated 2 years ago
• iree-org / iree-jax
  ☆51Updated 7 months ago
• Silent-Zebra / twisted-smc-lm
  ☆24Updated 2 weeks ago
• likenneth / q_probe
  Q-Probe: A Lightweight Approach to Reward Maximization for Language Models
  ☆40Updated 9 months ago
• ssokota / mec
  Code for minimum-entropy coupling.
  ☆31Updated 8 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆34Updated 10 months ago
• GindaChen / FlexFlashAttention3
  FlexAttention w/ FlashAttention3 Support
  ☆26Updated 5 months ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆42Updated 4 months ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆27Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago