Alternatives and similar repositories for ml-hilbert

Users that are interested in ml-hilbert are comparing it to the libraries listed below

• multimodal-art-projection / CriticLean

  View on GitHub
  ☆47Aug 5, 2025Updated 6 months ago
• SorryDB / SorryDB

  View on GitHub
  SorryDB indexes sorries in public lean repositories
  ☆42Jan 29, 2026Updated 2 weeks ago
• nktnet1 / sync-request-curl

  View on GitHub
  NodeJS HTTP Client, synchronous and performant
  ☆10Feb 3, 2026Updated last week
• alerad / leancert

  View on GitHub
  Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
  ☆32Updated this week
• RLHFlow / GVM

  View on GitHub
  ☆16Jul 29, 2025Updated 6 months ago
• teorth / equational

  View on GitHub
  ☆10Sep 26, 2024Updated last year
• ckmvigil / ACLNet

  View on GitHub
  ☆11Dec 12, 2022Updated 3 years ago
• unison-code / uni-instr-sel

  View on GitHub
  Universal instruction selection
  ☆12Jun 8, 2018Updated 7 years ago
• acowley / concurrent-machines

  View on GitHub
  Concurrency features for the Haskell machines package
  ☆16Mar 11, 2022Updated 3 years ago
• hbr / albatross

  View on GitHub
  Compiler for the Albatross Language
  ☆11Sep 29, 2021Updated 4 years ago
• reproducing-research-projects / BugsInPy

  View on GitHub
  Reproducing BugsInPy: Benchmarking Bugs in Python Projects
  ☆14Sep 4, 2023Updated 2 years ago
• evgenyneu / trigonometric_identities_latex

  View on GitHub
  Trigonometric identities in LaTeX format
  ☆13May 18, 2016Updated 9 years ago
• typelevel / scalaz-specs2

  View on GitHub
  Specs2 bindings for Scalaz
  ☆34Dec 28, 2017Updated 8 years ago
• Open-MBEE / junit-xml-parser

  View on GitHub
  ☆10Jan 22, 2018Updated 8 years ago
• oge-t / subtle_smile

  View on GitHub
  Calibration and Simulation Engine for Local Volatility Models
  ☆14Dec 13, 2021Updated 4 years ago
• INK-USC / IsoBN

  View on GitHub
  IsoBN: Fine-Tuning BERT with Isotropic Batch Normalization
  ☆12Nov 23, 2021Updated 4 years ago
• arosien / configz

  View on GitHub
  Oddly enough, a Scala wrapper for Typesafe's (pure-Java) Config library.
  ☆31Oct 15, 2013Updated 12 years ago
• gaelwjl / ML_Optimal_Trading

  View on GitHub
  Collection of numerical methods for high frequency data, in Python notebooks
  ☆13Mar 10, 2021Updated 4 years ago
• dafny-lang / xdsmith

  View on GitHub
  Fuzz testing for Dafny
  ☆13Jul 7, 2022Updated 3 years ago
• Accacio / pendulum

  View on GitHub
  Inverted pendulum simulation on the terminal using c
  ☆16Feb 10, 2025Updated last year
• p-org / peasy-ide-vscode

  View on GitHub
  Peasy: An Intuitive Development Environment for P
  ☆16May 12, 2025Updated 9 months ago
• google / HyperProtoBench

  View on GitHub
  ☆18Jul 20, 2022Updated 3 years ago
• kyagrd / tiper

  View on GitHub
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Jun 24, 2020Updated 5 years ago
• eigengo / sbt-raml-plugin

  View on GitHub
  RAML compiler and documentation generator
  ☆15Aug 30, 2014Updated 11 years ago
• rookie-joe / FormalAlign

  View on GitHub
  ☆17Jul 12, 2025Updated 7 months ago
• slasser / CoStar

  View on GitHub
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆13Feb 14, 2023Updated 3 years ago
• teddytrowbridge / pandora-export

  View on GitHub
  Export songs you've liked on the Pandora web application.
  ☆16Apr 21, 2015Updated 10 years ago
• lottery-ticket / code

  View on GitHub
  ☆13Mar 8, 2020Updated 5 years ago
• backtracking / program-proofs-with-why3

  View on GitHub
  Some programs from Rustan Leino's "Program Proofs", in Why3.
  ☆16Mar 13, 2023Updated 2 years ago
• iroot900 / Automated-Market-Maker

  View on GitHub
  ☆11May 24, 2015Updated 10 years ago
• christopherwalkerml / DeepStoragePlus

  View on GitHub
  Adds the Applied Energistics 2 feature of storing bulk items
  ☆15Dec 11, 2025Updated 2 months ago
• dafny-lang / Dafny-VMC

  View on GitHub
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆16Nov 4, 2024Updated last year
• W-J-Trenberth / SABR-calibration

  View on GitHub
  Code for calibrating the SABR model, used to model implied volatility smiles, described in the paper https://www.researchgate.net/publica…
  ☆13Jun 28, 2019Updated 6 years ago
• avsm / opam-boot

  View on GitHub
  Bootstrap scripts to build standalone OPAM projects
  ☆15Nov 9, 2017Updated 8 years ago
• uw-unsat / jitsynth

  View on GitHub
  ☆18May 1, 2020Updated 5 years ago
• Miracle-Messi / Isa-AutoFormal

  View on GitHub
  ☆16Oct 27, 2024Updated last year
• zOnlyKroks / P2P

  View on GitHub
  ☆20Jul 17, 2025Updated 6 months ago
• Lysxia / coq-ceres

  View on GitHub
  Coq library for serialization to S-expressions
  ☆20Jul 3, 2023Updated 2 years ago
• cedar-policy / rfcs

  View on GitHub
  RFCs for Cedar
  ☆19Jan 22, 2026Updated 3 weeks ago