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
- Type theory + whales and syntax☆11Updated 5 years ago
- A monadic (and pretty) pretty printer for Haskell☆39Updated 2 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 8 years ago
- TODO☆23Updated 10 years ago
- Web based opetopic editor☆35Updated 11 months ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 9 years ago
- The proof of undecidability of halting problem, using the model -- WHILE language.☆21Updated 5 years ago
- An implementation of miniKanren in Haskell☆78Updated 12 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 10 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Example uses of monads☆43Updated 6 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Updated 8 years ago
- Agda-style equational reasoning in Haskell☆54Updated 6 months ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Type provider library for Idris☆94Updated 7 years ago
- ☆32Updated 7 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 4 months ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago