Alternatives and similar repositories for r_u_sure

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

• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• pschanely / hypothesis-crosshair
  Level-up your Hypothesis tests with CrossHair
  ☆14Updated this week
• fjarri / peval
  Partial evaluation of Python code
  ☆21Updated 2 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 9 months ago
• JohnLyu2 / z3alpha
  Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…
  ☆17Updated this week
• appleseedlab / cpp2c
  Program for converting C preprocessor usage to C constructs
  ☆12Updated 2 years ago
• google-research / pynsy
  Heavyweight Python dynamic analysis framework
  ☆13Updated last year
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated this week
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆45Updated 7 months ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 10 months ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• 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
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• antirez / LLM-FTC-sampling
  First token cutoff sampling inference example
  ☆30Updated last year
• fattorib / Little-GPT
  GPT* - Training faster small transformers using ALiBi, Parallel Residual Connections and more!
  ☆20Updated 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
• iantbutler01 / ditty
  A library for simplifying fine tuning with multi gpu setups in the Huggingface ecosystem.
  ☆16Updated 7 months ago
• gitbugactions / gitbugactions
  ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️
  ☆20Updated this week
• dottxt-ai / benchmarks
  Benchmark structured generation libraries
  ☆28Updated 7 months ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• EleutherAI / tokengrams
  Efficiently computing & storing token n-grams from large corpora
  ☆23Updated 8 months ago
• geohot / ctypeslib
  Generate python ctypes classes from C headers. Requires LLVM clang
  ☆13Updated 9 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆48Updated 3 years ago
• srush / drop7
  ☆18Updated last year
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆15Updated last year
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 3 months ago
• cmuparlay / psac
  Parallel Self-Adjusting Computation
  ☆13Updated 3 years ago