Alternatives and similar repositories for lean-haskell-bindings

Users that are interested in lean-haskell-bindings are comparing it to the libraries listed below

• leanprover / tc

  View on GitHub
  Reference type checker for the Lean theorem prover
  ☆64Mar 17, 2017Updated 8 years ago
• jasonhemann / micro-in-mini

  View on GitHub
  an implementation of a microKanren(-like language) in miniKanren
  ☆27Aug 1, 2014Updated 11 years ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆36Jan 5, 2019Updated 7 years ago
• ziman / idris-bytes

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

  View on GitHub
  ☆12Aug 24, 2014Updated 11 years ago
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago
• ruuda / transducers

  View on GitHub
  A transducer library for Rust
  ☆10May 22, 2016Updated 9 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• orca-lang / orca

  View on GitHub
  Type theory + whales and syntax
  ☆11Nov 28, 2019Updated 6 years ago
• zygi / lean-protoc-plugin

  View on GitHub
  ☆13Apr 25, 2022Updated 3 years ago
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years ago
• barrucadu / minifu

  View on GitHub
  A tutorial on writing a concurrency testing tool in Haskell
  ☆12Nov 5, 2017Updated 8 years ago
• brunjlar / stack2cabal

  View on GitHub
  creating a cabal new-build configuration from a stack configuration
  ☆12May 8, 2018Updated 7 years ago
• nicolabotta / SeqDecProbs

  View on GitHub
  ☆14Apr 9, 2017Updated 8 years ago
• lemmih / fvg

  View on GitHub
  Functional Vector Graphics
  ☆17Jun 19, 2017Updated 8 years ago
• ziman / idris-benchmarks

  View on GitHub
  Some benchmarks for Idris
  ☆12Aug 12, 2017Updated 8 years ago
• leanprover / lean.js

  View on GitHub
  Lean ported to Javascript with Emscripten
  ☆27Jun 27, 2017Updated 8 years ago
• tweag / smtlib-backends

  View on GitHub
  A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.
  ☆18Oct 28, 2025Updated 3 months ago
• freckle / faktory_worker_haskell

  View on GitHub
  Faktory Worker for Haskell
  ☆17Dec 15, 2025Updated last month
• emilaxelsson / ho-rewriting

  View on GitHub
  A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
  ☆12Jan 31, 2026Updated 2 weeks ago
• thoughtpolice / claap

  View on GitHub
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Mar 31, 2017Updated 8 years ago
• tydeu / lean4-itertools

  View on GitHub
  A Lean 4 library for iterators.
  ☆14Dec 10, 2023Updated 2 years ago
• GaloisInc / gidl

  View on GitHub
  Gidl: an Interface Description Language
  ☆10Aug 11, 2017Updated 8 years ago
• kmcallister / pngbox

  View on GitHub
  Demo: OS sandboxing for unsafe code in Rust
  ☆13Mar 10, 2015Updated 10 years ago
• rametta / retros

  View on GitHub
  🏂🏻 Haskell based Retro board
  ☆16Mar 25, 2022Updated 3 years ago
• joom / WangsAlgorithm

  View on GitHub
  A classical propositional theorem prover in Haskell, using Wang's Algorithm.
  ☆36Jun 12, 2019Updated 6 years ago
• gmalecha / mirror-core

  View on GitHub
  A framework for extensible, reflective decision procedures.
  ☆19Nov 25, 2019Updated 6 years ago
• uwplse / oeuf

  View on GitHub
  gallina frontend for CompCert
  ☆19Jul 6, 2019Updated 6 years ago
• SkySkimmer / HoTTClasses

  View on GitHub
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆17Dec 9, 2020Updated 5 years ago
• cstrahan / wiwinwln

  View on GitHub
  What I Wish I Knew While Learning Nix
  ☆34Dec 9, 2021Updated 4 years ago
• ujamjar / hardcaml-examples

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• mmcco / verified-parser-example

  View on GitHub
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆21Mar 19, 2015Updated 10 years ago
• gusbicalho / effects-toy

  View on GitHub
  Playing with Haskell effect systems
  ☆13Dec 24, 2019Updated 6 years ago
• huonw / order-stat

  View on GitHub
  Compute order statistics
  ☆15Sep 16, 2023Updated 2 years ago
• choener / ADPfusion

  View on GitHub
  Efficient, high-level dynamic programming
  ☆28Jul 19, 2023Updated 2 years ago
• nushio3 / physics-inhaskell

  View on GitHub
  Knowledge of classical mechanics, written in haskell.
  ☆14Feb 11, 2013Updated 13 years ago
• gebner / hott3

  View on GitHub
  HoTT in Lean 3
  ☆81Aug 3, 2020Updated 5 years ago