Alternatives and similar repositories for greek-grammar:

Users that are interested in greek-grammar are comparing it to the libraries listed below

• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 4 months ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 5 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• jgm / cheapskate
  Experimental markdown processor in Haskell
  ☆107Updated 4 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• fieldstrength / xquant
  Dependently-typed structures for quantum physics in Idris
  ☆13Updated 9 years ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆60Updated 4 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆64Updated 11 years ago
• Twinside / svg-tree
  SVG loader/serializer for Haskell
  ☆28Updated last year
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 2 months ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆30Updated 6 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 6 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• arianvp / servis
  Github project where I track everything related to my thesis
  ☆26Updated 8 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago