Alternatives and similar repositories for sabi

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

• puripuri2100 / satysfi-code-printer

  View on GitHub
  Typeset source code with SATySFi
  ☆16Jan 1, 2025Updated last year
• elpinal / seqmod

  View on GitHub
  Full implementation of F-ing Modules, with the power of sequent calculus
  ☆20Mar 11, 2021Updated 4 years ago
• asciidwango / ptex

  View on GitHub
  ☆10Jun 26, 2019Updated 6 years ago
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Dec 11, 2025Updated 2 months ago
• theoremoon / satysfi.ml

  View on GitHub
  ☆14Sep 2, 2021Updated 4 years ago
• ntddk / angr-doc-ja

  View on GitHub
  ☆10Oct 30, 2016Updated 9 years ago
• ogata-k / GUI_cmp

  View on GitHub
  compare crate of GUI for Rust
  ☆10Jun 7, 2022Updated 3 years ago
• wtsnjp / texlive-ja

  View on GitHub
  Japanese translation for the "TeX Live Guide"
  ☆27Mar 25, 2025Updated 10 months ago
• kth-step / HOL4P4

  View on GitHub
  P4 formalization using Ott and HOL4
  ☆15Jan 17, 2026Updated 3 weeks ago
• ufmg-smite / carcara

  View on GitHub
  ☆40Updated this week
• fetburner / Udon

  View on GitHub
  A Hobby implementation of ML
  ☆16Dec 19, 2015Updated 10 years ago
• cympfh / cumin

  View on GitHub
  Mini-Programmable Configuration Language
  ☆17Sep 11, 2024Updated last year
• fetburner / compelib

  View on GitHub
  競プロ用ライブラリ
  ☆15Jun 11, 2022Updated 3 years ago
• dslab-epfl / tpot

  View on GitHub
  Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)
  ☆24May 7, 2025Updated 9 months ago
• pveber / ocaml-jquery

  View on GitHub
  Binding to jQuery (for js_of_ocaml)
  ☆25Nov 19, 2012Updated 13 years ago
• xguerin / ppx_bitstring

  View on GitHub
  PPX plugin for the OCAML OPAM bitstring package
  ☆16Jan 10, 2018Updated 8 years ago
• ToruNiina / separo-rs

  View on GitHub
  An implementation of SEPARO, a board game, with Monte Carlo Tree Search algorithm in Rust/wasm.
  ☆20Sep 27, 2020Updated 5 years ago
• qnighy / logic-solver-rs

  View on GitHub
  ☆46Jan 9, 2023Updated 3 years ago
• gfngfn / otfed

  View on GitHub
  An OpenType font format encoder & decoder written in OCaml
  ☆19Nov 6, 2024Updated last year
• k16shikano / markdown-tex

  View on GitHub
  markdown processor in TeX
  ☆19May 13, 2021Updated 4 years ago
• Nymphium / ruff

  View on GitHub
  ONE-SHOT Algebraic Effects for Ruby!
  ☆24Feb 1, 2026Updated 2 weeks ago
• rust-formal-methods / wg

  View on GitHub
  ☆22Feb 10, 2022Updated 4 years ago
• namachan10777 / BiByFi

  View on GitHub
  A bibliography framework for SATySFi.
  ☆23Jan 6, 2023Updated 3 years ago
• nuscr / nuscr

  View on GitHub
  A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
  ☆29Oct 20, 2025Updated 3 months ago
• yallop / ocaml-pb

  View on GitHub
  An OCaml library for describing Protobuf messages
  ☆30Feb 4, 2021Updated 5 years ago
• uw-unsat / jitterbug

  View on GitHub
  Verification of BPF JIT compilers
  ☆58Jul 3, 2023Updated 2 years ago
• microsoft / verus-proof-synthesis

  View on GitHub
  ☆75Jan 22, 2026Updated 3 weeks ago
• koba-e964 / min-caml-rust

  View on GitHub
  A min-caml port to Rust
  ☆26Feb 8, 2025Updated last year
• cannorin / nml

  View on GitHub
  Nazo ML - my toy programming language
  ☆59Aug 11, 2020Updated 5 years ago
• logsem / iris-tutorial

  View on GitHub
  ☆70Sep 4, 2025Updated 5 months ago
• kino-mc / rsmt2

  View on GitHub
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆68Mar 5, 2024Updated last year
• rocq-community / aac-tactics

  View on GitHub
  Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…
  ☆36Oct 28, 2025Updated 3 months ago
• mbeddr / mbeddr.formal

  View on GitHub
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Jan 16, 2026Updated 3 weeks ago
• kkty / theorem-prover

  View on GitHub
  Automated theorem prover for first-order predicate logic written in TypeScript
  ☆27Jan 4, 2023Updated 3 years ago
• rems-project / cerberus

  View on GitHub
  Cerberus C semantics
  ☆80Jan 15, 2026Updated last month
• sile / tpe

  View on GitHub
  A TPE (Tree-structured Parzen Estimator) implementation in Rust
  ☆33Apr 30, 2025Updated 9 months ago
• cyclist-org / cyclist

  View on GitHub
  A cyclic theorem prover framework.
  ☆32Aug 21, 2025Updated 5 months ago
• rems-project / cn

  View on GitHub
  CN separation logic refinement type system for C
  ☆44Feb 3, 2026Updated last week
• runtimeverification / wasm-semantics

  View on GitHub
  A Formal Semantics of WebAssembly in K
  ☆85Feb 2, 2026Updated last week