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
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Updated 8 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 7 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago
- TODO☆23Updated 9 years ago
- Js libraries for idris☆49Updated 5 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Visual tool for stepwise evaluation of simple Haskell expressions☆20Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- Web based opetopic editor☆35Updated 10 months ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- A version of Epigram 1 that can run with newer GHCs☆53Updated 8 years ago
- The Spire Programming Language☆59Updated 10 years ago
- ☆32Updated 7 years ago
- Base library for HoTT in Agda☆37Updated 6 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- A small implementation of a proof refinement logic.☆50Updated 8 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Porting of software foundations book to Agda☆38Updated 11 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Probabilistic computation in Idris☆34Updated 6 years ago