Alternatives and similar repositories for r_u_sure

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

• google-research / pynsy
  Heavyweight Python dynamic analysis framework
  ☆17Updated last year
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆112Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated last week
• thepurpleowl / codequeries-benchmark
  Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024
  ☆12Updated 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, …
  ☆41Updated last year
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• google-research / crossbeam
  ☆43Updated 2 years ago
• google-research / babelcode
  ☆53Updated 7 months ago
• code4me-me / code4me
  Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…
  ☆56Updated last year
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 6 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated 2 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 3 months ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆53Updated last month
• r2d4 / parserllm
  Use context-free grammars with an LLM
  ☆173Updated last year
• neoneye / ARC-Interactive
  Enjoy puzzle-solving directly in your browser.
  ☆31Updated 5 months ago
• amazon-science / incremental-parsing
  Incremental Python parser for constrained generation of code by LLMs.
  ☆16Updated last year
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆48Updated 11 months 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
• anas-rz / k3-node
  Multibackend Graph Neural Networks in Keras 3
  ☆25Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆136Updated 5 months ago
• microsoft / dataflow2text
  Code for "The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction an…
  ☆10Updated last year
• benlipkin / probsem
  Probabilistic LLM evaluations. [CogSci2023; ACL2023]
  ☆72Updated last year
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆73Updated 3 months ago
• Intelligent-CAT-Lab / CodeMind
  CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…
  ☆39Updated 5 months ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆42Updated 2 years ago
• amazon-science / CodeSage
  CodeSage: Code Representation Learning At Scale (ICLR 2024)
  ☆112Updated 11 months ago