Alternatives and similar repositories for r_u_sure

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

• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated last week
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆50Updated 5 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• 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
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆56Updated 3 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
• google-research / crossbeam
  ☆44Updated 2 years ago
• google-research / pynsy
  Heavyweight Python dynamic analysis framework
  ☆17Updated last year
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆80Updated 6 months ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆36Updated 2 years ago
• jordiae / neural-compilers
  ☆21Updated 3 years ago
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆17Updated 10 months ago
• IsaacRe / Syntactically-Constrained-Sampling
  LLM sampling method for enforcing syntax adherence in generated output
  ☆25Updated 2 years ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆112Updated 2 years ago
• nathanael-fijalkow / DeepSynth
  DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …
  ☆48Updated last year
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• thepurpleowl / codequeries-benchmark
  Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024
  ☆12Updated last year
• JohnLyu2 / z3alpha
  Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…
  ☆22Updated last month
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆53Updated 4 years ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 4 years ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆14Updated 6 years ago
• anas-rz / k3-node
  Multibackend Graph Neural Networks in Keras 3
  ☆25Updated last year
• Anon52MI4 / oeis-alien
  ☆22Updated 2 years ago
• cvndsh / rebus
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Updated last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆33Updated 2 months ago
• sdpython / onnxcustom
  Tutorial on how to convert machine learned models into ONNX
  ☆16Updated 2 years ago
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof [WIP]
  ☆54Updated last week
• Riphiphip / mlir_rvsdg
  Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR
  ☆13Updated 2 years ago
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• UCSD-PL / proverbot9001
  ☆43Updated last month