Alternatives and similar repositories for lightyear:

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

• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆190Updated 6 years ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆288Updated this week
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆220Updated last month
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• ekmett / trifecta
  Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
  ☆297Updated 6 months ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆162Updated 9 months ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 8 years ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆229Updated 8 months ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆367Updated last year
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 5 years ago
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆106Updated 2 years ago
• fpco / inline-c
  ☆285Updated last month
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆208Updated 5 years ago
• elba / elba
  A package manager for Idris
  ☆189Updated 4 years ago
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆375Updated 2 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆279Updated 4 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆206Updated 6 years ago
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆202Updated 3 years ago
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Updated 5 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆339Updated last year
• acid-state / acid-state
  Add ACID guarantees to any serializable Haskell data structure
  ☆294Updated 2 months ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆101Updated 5 months ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆163Updated 3 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆92Updated last year
• stevenfontanella / microlens
  A lightweight (but compatible with ‘lens’) lenses library
  ☆290Updated last month
• Gabriella439 / foldl
  Composable, streaming, and efficient left folds
  ☆163Updated this week
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆188Updated 3 months ago
• suhailshergill / extensible-effects
  Extensible Effects: An Alternative to Monad Transformers
  ☆174Updated 3 years ago
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆370Updated last year