scott-fleischman / greek-grammarLinks
Modeling Ancient Greek Grammar
☆51Updated 7 years ago
Alternatives and similar repositories for greek-grammar
Users that are interested in greek-grammar are comparing it to the libraries listed below
Sorting:
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Experimental markdown processor in Haskell☆107Updated 5 years ago
- Learning rigid grammars in Haskell.☆24Updated 8 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- An implementation of Functional Reactive Programming☆41Updated 10 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Example uses of monads☆43Updated 6 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- A step-by-step MicroKanren evaluator☆29Updated 9 years ago
- 2048 in Idris☆123Updated 8 years ago
- Incubator for my Haskell libraries☆20Updated 7 years ago
- Morte IDE☆29Updated 8 months ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Experimental Malfunction backend for Idris☆82Updated 7 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Slides and exercises for the Idris course taught at Galois☆51Updated 10 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆48Updated 7 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- TODO☆23Updated 10 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Updated 8 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- A port of QuickCheck to Idris☆60Updated 8 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- i bet you there is a typesystem behind music☆32Updated 7 years ago
- An experiment in functional interface design☆24Updated 9 years ago
- Web based opetopic editor☆36Updated last year
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago