GaloisInc/lean-haskell-bindings external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

GaloisInc/lean-haskell-bindings

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/GaloisInc/lean-haskell-bindings)

Close

GaloisInc / lean-haskell-bindingsView on GitHubMore

• External links
• Readme badge

Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/

☆23Aug 25, 2017Updated 9 years ago

Alternatives and similar repositories for lean-haskell-bindings

Users that are interested in lean-haskell-bindings are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• leanprover / tc

  View on GitHub
  Reference type checker for the Lean theorem prover
  ☆64Mar 17, 2017Updated 9 years ago
• stp / OutputCheck

  View on GitHub
  A tool for checking tool output inspired by LLVM's FileCheck
  ☆13Aug 29, 2025Updated last year
• dysinger / agda-haskell-c-ffi-layer-cake

  View on GitHub
  Demostration of FFI from Agda -> Haskell -> C in one project
  ☆12Apr 15, 2013Updated 13 years ago
• leanprover / presentations

  View on GitHub
  lean-related presentations
  ☆18Oct 21, 2026Updated 2 weeks ago
• lemmih / fvg

  View on GitHub
  Functional Vector Graphics
  ☆17Jun 19, 2017Updated 9 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• ziman / idris-benchmarks

  View on GitHub
  Some benchmarks for Idris
  ☆12Aug 12, 2017Updated 9 years ago
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆40May 1, 2018Updated 8 years ago
• freckle / faktory_worker_haskell

  View on GitHub
  Faktory Worker for Haskell
  ☆17Oct 27, 2026Updated last week
• edwinb / Eff

  View on GitHub
  Effects EDSL for Idris
  ☆13Mar 28, 2013Updated 13 years ago
• orca-lang / orca

  View on GitHub
  Type theory + whales and syntax
  ☆11Nov 28, 2019Updated 6 years ago
• DigitalInBlue / CPPCon2015

  View on GitHub
  Slides and Source Code from "Demystifying Floating Point Numbers" given at CPPCon 2015.
  ☆21Sep 24, 2015Updated 11 years ago
• thoughtpolice / claap

  View on GitHub
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Mar 31, 2017Updated 9 years ago
• jonatanolofsson / cpplot

  View on GitHub
  Simple C++ plotting
  ☆17Jun 13, 2019Updated 7 years ago
• zygi / lean-protoc-plugin

  View on GitHub
  ☆14Apr 25, 2022Updated 4 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• ruuda / transducers

  View on GitHub
  A transducer library for Rust
  ☆10May 22, 2016Updated 10 years ago
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago
• tydeu / lean4-itertools

  View on GitHub
  A Lean 4 library for iterators.
  ☆15Dec 10, 2023Updated 2 years ago
• leanprover / lean.js

  View on GitHub
  Lean ported to Javascript with Emscripten
  ☆27Jun 27, 2017Updated 9 years ago
• mikeizbicki / homoiconic

  View on GitHub
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18May 15, 2019Updated 7 years ago
• ziman / idris-bytes

  View on GitHub
  FFI-based byte buffers for Idris
  ☆10Jun 21, 2019Updated 7 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆10Jan 2, 2017Updated 9 years ago
• nushio3 / physics-inhaskell

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

  View on GitHub
  Text framework for Idris
  ☆13Apr 24, 2016Updated 10 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• avigad / boole

  View on GitHub
  The Boole Interactive Reasoning Assistant
  ☆32May 9, 2014Updated 12 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 11 years ago
• kayhide / wakame

  View on GitHub
  Haskell library of row polymorphic record manipulator
  ☆23Oct 19, 2020Updated 6 years ago
• mankyKitty / idris-webgl

  View on GitHub
  Experimentation with Idris and WebGL via JavaScript FFI
  ☆10Apr 10, 2014Updated 12 years ago
• ElvishJerricco / simple-hydra

  View on GitHub
  A simple module for enabling Hydra
  ☆14May 25, 2020Updated 6 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 10 years ago
• cartazio / resin

  View on GitHub
  Resin: high performance variable binder and ast manipulation lib
  ☆13Jan 1, 2019Updated 7 years ago
• snoyberg / githash

  View on GitHub
  Compile git revision info into Haskell projects
  ☆35Jun 21, 2023Updated 3 years ago
• leanprover / tutorial

  View on GitHub
  Lean Tutorials
  ☆48Oct 4, 2020Updated 6 years ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• karelklic / canal

  View on GitHub
  Abstract interpreter for real-world application programs
  ☆32May 25, 2013Updated 13 years ago
• tydeu / lean4-papyrus

  View on GitHub
  An LLVM interface for Lean 4. (WIP)
  ☆27Aug 1, 2023Updated 3 years ago
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆35Jan 5, 2019Updated 7 years ago
• idontgetoutmuch / HasBayes

  View on GitHub
  Bayesian Analysis in Haskell
  ☆12Jun 6, 2015Updated 11 years ago
• martinrehfeld / docker-haskell-platform

  View on GitHub
  Docker file to setup the Haskell Plattform 2013.2.0.0
  ☆10Sep 6, 2013Updated 13 years ago
• FranckS / RingIdris

  View on GitHub
  Ring solver for Idris
  ☆21Nov 12, 2018Updated 7 years ago
• byorgey / enumeration

  View on GitHub
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Apr 22, 2025Updated last year