Lean Tutorials
☆46Oct 4, 2020Updated 5 years ago
Alternatives and similar repositories for tutorial
Users that are interested in tutorial are comparing it to the libraries listed below
Sorting:
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago
- Type-safe tic-tac-toe using Typesafe programming in Haskell☆15Sep 1, 2017Updated 8 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Term Rewriting Systems☆17Nov 7, 2015Updated 10 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- A Zookeeper backend for Cloud Haskell.☆13Sep 9, 2017Updated 8 years ago
- CMU Undergrad Course☆95Feb 18, 2023Updated 3 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆126Mar 19, 2022Updated 3 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- Reference type checker for the Lean theorem prover☆64Mar 17, 2017Updated 8 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 8 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16May 15, 2019Updated 6 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆49Jul 19, 2025Updated 7 months ago
- Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excludi…☆16Sep 29, 2019Updated 6 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Aug 23, 2021Updated 4 years ago
- Bitcoin CLI tools: Haskell port of Sx using Haskoin☆12Nov 2, 2015Updated 10 years ago
- A Haskell number theory library.☆15Jul 3, 2017Updated 8 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 7 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆22Aug 25, 2017Updated 8 years ago
- Racket bindings for Poppler (library for reading and generating pdfs)☆24May 8, 2024Updated last year
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Apr 2, 2025Updated 10 months ago
- Use Emacs to highlight source code listings in LaTeX and HTML documents!☆18Feb 14, 2023Updated 3 years ago
- ☆23Aug 30, 2017Updated 8 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Tool to determine relevant parts of binary data☆44Dec 5, 2017Updated 8 years ago
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 8 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- ☆13Apr 25, 2022Updated 3 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago