Alternatives and similar repositories for lio:

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

• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆53Updated 2 months ago
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 6 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆44Updated 2 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• yav / pretty-show
  Tools for working with derived Show instances in Haskell.
  ☆57Updated 2 years ago
• chessai / semirings
  semirings and *-semirings of types in base/haskell-platform
  ☆41Updated 10 months ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 8 years ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated 2 weeks ago
• gallais / agda-sizedIO
  IO using sized types and copatterns
  ☆33Updated 3 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated 5 months ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆44Updated 2 years ago
• ekmett / speculation
  Safe, programmable, speculative evaluation for Haskell
  ☆29Updated 6 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• dreixel / generic-deriving
  ☆44Updated 3 weeks ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 11 months ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• ekmett / semigroupoids
  ☆74Updated 3 weeks ago
• UlfNorell / insane
  Toy typechecker for Insanely Dependent Types
  ☆79Updated 11 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago