Alternatives and similar repositories for UraharaBot

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

• namin / dafny-sketcher

  View on GitHub
  piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…
  ☆16Feb 10, 2026Updated last week
• pkshashank / GFLeanTransfer

  View on GitHub
  ☆12Mar 27, 2024Updated last year
• frenzymath / reap

  View on GitHub
  General neural tactic for Lean 4
  ☆25Feb 6, 2026Updated last week
• tau-prolog / draw-derivation-trees

  View on GitHub
  A tool for drawing derivation trees of Tau Prolog
  ☆11Feb 23, 2022Updated 3 years ago
• LASER-UMASS / TacTok

  View on GitHub
  The TacTok automated Coq proof script synthesis tool
  ☆17Jan 9, 2024Updated 2 years ago
• argumentcomputer / radiya.rs

  View on GitHub
  A Rust implementation of the Lean kernel
  ☆11Jan 2, 2023Updated 3 years ago
• grantshandy / thesaurus-rs

  View on GitHub
  An offline Rust thesaurus library.
  ☆12Aug 13, 2022Updated 3 years ago
• ctlllll / GPA-Checker-for-PKUer

  View on GitHub
  Check your grade automatically and send e-mail when new grade comes
  ☆12Feb 7, 2018Updated 8 years ago
• EricLBuehler / Falcon-Programming-Language

  View on GitHub
  Falcon is a powerful, interpreted programming language.
  ☆16Jan 22, 2023Updated 3 years ago
• ParthaEth / lightweight_filtering

  View on GitHub
  ☆11Jul 1, 2017Updated 8 years ago
• metareflection / dafny-annotator

  View on GitHub
  AI-assisted verification of Dafny Programs
  ☆18Nov 9, 2025Updated 3 months ago
• gengteng / rust-assistant

  View on GitHub
  GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version check…
  ☆18Mar 4, 2025Updated 11 months ago
• geezee / smatch

  View on GitHub
  regexes for trees; grep for s-exprs
  ☆18Jun 10, 2024Updated last year
• ice1000 / anqur

  View on GitHub
  Elaboration with inductive types
  ☆16Jun 1, 2023Updated 2 years ago
• davidad / chit

  View on GitHub
  (early experiments toward) a version-control system for structured data
  ☆19Jul 23, 2023Updated 2 years ago
• sachaarbonel / repo_walker

  View on GitHub
  Code context extractor for AI assistants. Walks Git repos, respects .gitignore, filters files. Optimized output for LLMs like Claude. Sup…
  ☆17Feb 13, 2025Updated last year
• chucnorrisful / dqn

  View on GitHub
  Applying the DQN-Agent from keras-rl to Starcraft 2 Learning Environment and modding it to to use the Rainbow-DQN algorithms.
  ☆11Jul 3, 2019Updated 6 years ago
• ebmoon / transformers-GAD

  View on GitHub
  [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution
  ☆25Feb 10, 2025Updated last year
• AndrejOrsula / pyo3_bindgen

  View on GitHub
  Automatic Python —> Rust FFI bindings
  ☆19Nov 24, 2025Updated 2 months ago
• PurpleMyst / serde-mml

  View on GitHub
  MML Rust serializer/deserializer
  ☆15May 17, 2020Updated 5 years ago
• phase / dtt

  View on GitHub
  dependent type theory experiment
  ☆26Mar 1, 2024Updated last year
• FStarLang / pulse

  View on GitHub
  The Pulse separation logic DSL for F*
  ☆34Updated this week
• ClementNerma / Trasher

  View on GitHub
  A small command-line utility to replace 'rm' with a portable trash directory system
  ☆24Apr 18, 2025Updated 9 months ago
• dluman / rusTy

  View on GitHub
  Rust bindings for the spaCy library.
  ☆24Dec 11, 2022Updated 3 years ago
• rahul3613 / ProofNet-lean4

  View on GitHub
  ProofNet dataset ported into Lean 4
  ☆29Jun 9, 2025Updated 8 months ago
• jeertmans / untex

  View on GitHub
  Understand and manipulate TeX files with ease
  ☆27Jun 10, 2024Updated last year
• kbuzzard / lean-stacks-project

  View on GitHub
  Formal verification of parts of the Stacks Project in Lean
  ☆22Sep 24, 2021Updated 4 years ago
• nikomatsakis / rust-of-my-dreams

  View on GitHub
  A playground for thinking about what Rust could be like
  ☆23Aug 22, 2024Updated last year
• Rust-Unchained / rust_unchained

  View on GitHub
  Empowering everyone to build reliable and efficient software, without chains.
  ☆37Apr 11, 2025Updated 10 months ago
• mit-frap / spring23

  View on GitHub
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆31May 10, 2023Updated 2 years ago
• namin / holey

  View on GitHub
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆38Jan 22, 2026Updated 3 weeks ago
• naproche / naproche

  View on GitHub
  Write formal proofs in natural language and LaTeX.
  ☆46Dec 18, 2025Updated last month
• mzguntalan / zephyr

  View on GitHub
  Zephyr is a declarative neural network library on top of JAX allowing for easy and fast neural network designing, creation, and manipulat…
  ☆36Sep 11, 2025Updated 5 months ago
• KeKsBoTer / wgpu_sort

  View on GitHub
  WebGPU/wgpu Radix Key-Value Sort
  ☆42Jul 15, 2024Updated last year
• leanprover / Pantograph

  View on GitHub
  (Mirror) A Machine-to-Machine Interaction System for Lean 4
  ☆52Feb 9, 2026Updated last week
• robohouse-delft / show-image-rs

  View on GitHub
  Quickly show images for debugging in Rust.
  ☆43Mar 9, 2025Updated 11 months ago
• impermeable / waterproof

  View on GitHub
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆44Mar 19, 2024Updated last year
• uberFoo / dwarf

  View on GitHub
  dwarf is a typed, interpreted, language that shares syntax with Rust.
  ☆47Mar 25, 2025Updated 10 months ago
• digama0 / mizar-rs

  View on GitHub
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆59Jan 11, 2026Updated last month