Alternatives and similar repositories for paradoxes

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

• SethPoulsen / robottwo

  View on GitHub
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆17May 6, 2022Updated 3 years ago
• janestreet / ocaml-compiler-libs

  View on GitHub
  compiler libraries repackaged
  ☆21Jan 4, 2024Updated 2 years ago
• Lysxia / system-F

  View on GitHub
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆37Mar 17, 2025Updated 10 months ago
• kino3 / Mini-TT

  View on GitHub
  mirror of A simple type-theoretic language: Mini-TT
  ☆41Feb 15, 2017Updated 9 years ago
• uwplse / CoqAST

  View on GitHub
  Fun plugin to play with the Gallina AST.
  ☆38Oct 3, 2019Updated 6 years ago
• plclub / lngen

  View on GitHub
  Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
  ☆32Oct 22, 2024Updated last year
• dhil / ocaml-multicont

  View on GitHub
  multi-shot continuations in OCaml
  ☆51Nov 21, 2025Updated 2 months ago
• rlepigre / ocaml-bindlib

  View on GitHub
  Efficient binder representation in OCaml
  ☆43Jul 5, 2024Updated last year
• Darxor / CSL-GOST

  View on GitHub
  Стиль CSL для библиографии по ГОСТ
  ☆11Mar 16, 2017Updated 8 years ago
• ziman / idris-bytes

  View on GitHub
  FFI-based byte buffers for Idris
  ☆10Jun 21, 2019Updated 6 years ago
• Gbury / ocaml-memgraph

  View on GitHub
  A small library to output memory graph for ocaml values
  ☆40Jun 28, 2024Updated last year
• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago
• lnbits / relampago

  View on GitHub
  Abstraction over multiple Lightning backends.
  ☆10Jul 21, 2022Updated 3 years ago
• epfl-lara / SystemFR

  View on GitHub
  System FR: Formalized Foundations for Stainless
  ☆12Feb 2, 2026Updated last week
• rakete / pixel-mode

  View on GitHub
  Make pixel art in emacs buffers.
  ☆13Feb 22, 2023Updated 2 years ago
• brownplt / Resugarer

  View on GitHub
  Lifting Reduction Semantics through Syntactic Sugar
  ☆13May 13, 2018Updated 7 years ago
• jules-hedges / open-games

  View on GitHub
  Haskell implementation of open games
  ☆13Apr 20, 2016Updated 9 years ago
• craff / phox

  View on GitHub
  ☆14Jan 30, 2025Updated last year
• aquaxp / undump

  View on GitHub
  Creating executables from ELF-coredumps
  ☆10Dec 7, 2015Updated 10 years ago
• chrisroman / coc

  View on GitHub
  Calculus of Constructions Implementation
  ☆17Dec 20, 2019Updated 6 years ago
• vrnithinkumar / ETC

  View on GitHub
  ETC
  ☆15Aug 27, 2021Updated 4 years ago
• MakotoE / clippit

  View on GitHub
  ☆10Aug 12, 2023Updated 2 years ago
• c-cube / thread-local-storage

  View on GitHub
  thread-local storage for OCaml
  ☆17Jan 13, 2025Updated last year
• Psi-Prod / ppx_system

  View on GitHub
  ppx_system is a syntax extension to known operating system at compile time
  ☆12May 9, 2023Updated 2 years ago
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago
• sandsmark / revncable

  View on GitHub
  ☆11Mar 10, 2020Updated 5 years 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
• matteodelabre / onze

  View on GitHub
  Platform for running games of Dix opposing computer programs and/or humans
  ☆11Mar 4, 2024Updated last year
• catseye / Philomath

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
  ☆16Dec 19, 2023Updated 2 years ago
• sinhp / ProofLab

  View on GitHub
  ☆11May 14, 2023Updated 2 years ago
• ostreedev / gvariant-rs

  View on GitHub
  A pure-rust implementation of the GVariant serialisation format
  ☆13Jul 7, 2025Updated 7 months ago
• sriramlab / OrientAGraph

  View on GitHub
  ☆13May 13, 2024Updated last year
• bitfinexcom / bfx-hf-data-server

  View on GitHub
  ☆13Oct 11, 2023Updated 2 years ago
• ocaml-multicore / domain-local-await

  View on GitHub
  A scheduler independent blocking mechanism
  ☆19Feb 15, 2024Updated 2 years ago
• janestreet / async_websocket

  View on GitHub
  A library that implements the websocket protocol on top of Async
  ☆14Jan 15, 2026Updated last month
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated last year
• ProtonMail / bip39

  View on GitHub
  JavaScript implementation of Bitcoin BIP39
  ☆11Aug 12, 2025Updated 6 months ago
• coekie / irssi-scripts

  View on GitHub
  coekie's scripts for irssi
  ☆20May 8, 2010Updated 15 years ago
• janestreet / ppx_here

  View on GitHub
  Expands [%here] into its location
  ☆14Jan 15, 2026Updated last month