Alternatives and similar repositories for zipperposition

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

• tip-org / benchmarks

  View on GitHub
  Tons of Inductive Problems: The Benchmarks
  ☆27Jul 5, 2023Updated 2 years ago
• patricoferris / ocaml-cid

  View on GitHub
  Content-addressed identifiers in OCaml
  ☆16Mar 23, 2023Updated 2 years ago
• eprover / eprover

  View on GitHub
  ☆164Jan 25, 2026Updated 2 weeks ago
• paurkedal / ocaml-radixmap

  View on GitHub
  Map à la Binary Radix Tree
  ☆19Mar 10, 2022Updated 3 years ago
• Gbury / archsat

  View on GitHub
  A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…
  ☆27Jul 13, 2023Updated 2 years ago
• Deducteam / lambdapi

  View on GitHub
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆372Updated this week
• paurkedal / batyr

  View on GitHub
  A jabber logger and web interface
  ☆12Jan 5, 2026Updated last month
• dbuenzli / serialkit

  View on GitHub
  Serialization formats toolkit for OCaml (unreleased)
  ☆13Jan 2, 2026Updated last month
• Gbury / dolmen

  View on GitHub
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆88Updated this week
• Drup / functoria-lua

  View on GitHub
  Building Lua interpreters with lot's of functors
  ☆13Jul 31, 2018Updated 7 years ago
• dbuenzli / omod

  View on GitHub
  Lookup and load installed OCaml modules
  ☆17Jul 29, 2025Updated 6 months ago
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• ocaml-gospel / cameleer

  View on GitHub
  A Deductive Verification Tool for OCaml Programs
  ☆76Oct 9, 2025Updated 4 months ago
• ocurrent / docker-base-images

  View on GitHub
  Generate various Docker ocaml images
  ☆31Feb 4, 2026Updated last week
• c-cube / sqlite3_utils

  View on GitHub
  [beta] High-level wrapper around ocaml-sqlite3
  ☆17Apr 28, 2022Updated 3 years ago
• ocamllibs / metapp

  View on GitHub
  Meta-preprocessor for OCaml
  ☆79Jan 3, 2024Updated 2 years ago
• fdopen / ppx_cstubs

  View on GitHub
  preprocessor for easier stub generation with ocaml-ctypes
  ☆57Nov 18, 2022Updated 3 years ago
• jserot / fsml

  View on GitHub
  An OCaml library for describing and simulating synchronous finite state machines")
  ☆33Mar 30, 2021Updated 4 years ago
• jhjourdan / statmemprof-emacs

  View on GitHub
  Emacs client for statistical memory profiler
  ☆17Mar 26, 2020Updated 5 years ago
• c-cube / oseq

  View on GitHub
  Purely functional iterators compatible with standard `seq`.
  ☆31Dec 6, 2023Updated 2 years ago
• Octachron / tensority

  View on GitHub
  Strongly typed multidimensional array library for OCaml
  ☆53Jan 27, 2025Updated last year
• yomimono / oauth2_server

  View on GitHub
  a MirageOS OAuth2 authorization server for Etsy authentication
  ☆18Jul 15, 2022Updated 3 years ago
• Octachron / codept

  View on GitHub
  Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer
  ☆62Dec 8, 2025Updated 2 months ago
• b0-system / b0

  View on GitHub
  Software construction and deployment kit
  ☆36Jan 16, 2026Updated 3 weeks ago
• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 8 months ago
• ahrefs / ocaml-errortrace

  View on GitHub
  ☆15Dec 11, 2020Updated 5 years ago
• mirage / mirage-xen

  View on GitHub
  Xen core platform libraries for MirageOS
  ☆18Feb 5, 2025Updated last year
• ocamllibs / refl

  View on GitHub
  OCaml PPX deriver for reflection
  ☆53Nov 16, 2022Updated 3 years ago
• Deducteam / Dedukti

  View on GitHub
  Type-checker for the λΠ-calculus modulo rewriting
  ☆225Nov 25, 2025Updated 2 months ago
• c-cube / calculon

  View on GitHub
  Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
  ☆28Updated this week
• LaurentMazare / ocaml-wasmtime

  View on GitHub
  OCaml WebAssembly runtime powered by Wasmtime
  ☆35May 2, 2022Updated 3 years ago
• sneeuwballen / benchpress

  View on GitHub
  Testing and benchmarking tool for logic-related programs.
  ☆28Updated this week
• pqwy / tpf

  View on GitHub
  Trivial/Tagless Polytypic Functions
  ☆23Apr 14, 2020Updated 5 years ago
• kit-ty-kate / ocamldap

  View on GitHub
  Ocamldap is an implementation of the Light Weight Directory Access Protocol
  ☆15Dec 8, 2025Updated 2 months ago
• CoqHott / exceptional-tt

  View on GitHub
  A Coq plugin that implements exceptions in Coq
  ☆13Jan 7, 2021Updated 5 years ago
• c-cube / ocaml-bigstring

  View on GitHub
  Overlay over bigarrays of chars
  ☆13Oct 23, 2020Updated 5 years ago
• ocaml-attic / obi

  View on GitHub
  OCaml Build Infrastructure
  ☆31Jul 7, 2020Updated 5 years ago
• Drup / dowsing

  View on GitHub
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆38May 18, 2025Updated 8 months ago
• monadius / ocaml_simple_interval

  View on GitHub
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10May 31, 2022Updated 3 years ago