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
  ☆13Updated last year
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated 2 weeks ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆109Updated last year
• IsaacRe / Syntactically-Constrained-Sampling
  LLM sampling method for enforcing syntax adherence in generated output
  ☆25Updated 2 years ago
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆66Updated last month
• r2d4 / parserllm
  Use context-free grammars with an LLM
  ☆170Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆46Updated 8 months ago
• dottxt-ai / benchmarks
  Benchmark structured generation libraries
  ☆27Updated 8 months ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last month
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated last year
• benlipkin / probsem
  Probabilistic LLM evaluations. [CogSci2023; ACL2023]
  ☆73Updated 11 months ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆52Updated 2 months ago
• yuxdux / kinda-llama
  An open-source replication and extension of the Meta AI's LLAMA dataset
  ☆24Updated 2 years ago
• code4me-me / code4me
  Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…
  ☆55Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆132Updated 2 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
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated 10 months ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• gpoesia / certified-reasoning
  Certified Reasoning with Language Models
  ☆31Updated last year
• structuredllm / itergen
  Iterate on LLM-based structured generation forward and backward
  ☆17Updated 4 months ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆277Updated 3 months ago
• UCSD-PL / proverbot9001
  ☆43Updated this week
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆22Updated this week
• sacha-ichbiah / outlines-mlx
  A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX
  ☆55Updated last year
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆58Updated 3 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆49Updated 3 years ago