A1kmm / proofsweeperLinks
Play Minesweeper by formally proving your moves in Idris
β167Updated 10 months ago
Alternatives and similar repositories for proofsweeper
Users that are interested in proofsweeper are comparing it to the libraries listed below
Sorting:
- Type-safe physical computations and unit conversions in Idris β π‘ β² π πβ162Updated 6 years ago
- An implementation of Pie in Haskellβ205Updated 5 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming languageβ197Updated 3 years ago
- optics for Haskell with the most amazing type errors you've seenβ243Updated 5 years ago
- Equational laws for freeβ259Updated 2 months ago
- Test monadic programs using state machine based modelsβ204Updated 4 years ago
- A language experiment -- irc.freenode.net ##codaβ164Updated last year
- The Disco Discus Compilerβ174Updated 6 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonβ¦β156Updated 4 years ago
- Richard A. Eisenberg's PhD Dissertationβ206Updated 7 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphismβ101Updated 8 years ago
- Parser combinators for Idrisβ244Updated 6 years ago
- Drafts, notes and resources for adding linear typing to GHC.β78Updated 5 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: β¦β110Updated 6 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamicallyβ207Updated last year
- Learn you an Agda (and achieve enlightenment)β316Updated 7 years ago
- Another implementation of Frank.β70Updated 8 years ago
- Fast linear time sorting and discrimination for a large class of data typesβ137Updated 2 months ago
- Various data structures for use in the Idris Language.β95Updated 5 years ago
- Collection of Idris tests and demonstration programsβ193Updated 7 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idβ¦β182Updated 7 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programmingβ107Updated 2 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermineβ223Updated 6 years ago
- Distributed programming language that desugars to Morteβ92Updated 2 years ago
- A minimal proof language.β208Updated 6 years ago
- β98Updated 7 years ago
- Haskell JITβ185Updated 5 years ago
- Systematic concurrency testing meets Haskell.β197Updated 4 months ago
- Examples of Dependently-typed programs in Haskellβ305Updated 2 years ago
- Convert lambda expressions to CCC combinatorsβ148Updated 9 years ago