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 universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- A monadic (and pretty) pretty printer for Haskell☆39Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Example uses of monads☆43Updated 6 years ago
- A Dependently Typed Programming Language☆27Updated 5 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- Agda-style equational reasoning in Haskell☆54Updated 5 months ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- A string diagram generator for LaTeX.☆30Updated 2 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- The proof of undecidability of halting problem, using the model -- WHILE language.☆21Updated 5 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- TODO☆23Updated 9 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆14Updated 8 years ago
- SVG loader/serializer for Haskell☆29Updated 2 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Morte IDE☆29Updated 5 months ago
- A small implementation of a proof refinement logic.☆50Updated 8 years ago
- ☆26Updated 8 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 9 years ago
- Formalization of Opetopes and Opetopic Sets in Agda☆18Updated 8 years ago