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 8 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• deech / LeftPad
  ☆23Updated 8 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 10 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆41Updated 10 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆40Updated 10 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 9 years ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 6 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆43Updated 8 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 8 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆41Updated 2 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆36Updated last year
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 8 months ago
• KesterTong / idris2048
  2048 in Idris
  ☆123Updated 8 years ago
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆103Updated 8 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated last week
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆48Updated 7 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 7 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated last year
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 10 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 7 years ago
• jvranish / MiniKanrenT
  An implementation of miniKanren in Haskell
  ☆79Updated 12 years ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 8 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 10 years ago