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:
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- A prolog interpreter written in Haskell.☆62Updated 9 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 5 years ago
- ☆84Updated 7 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Dependently-typed structures for quantum physics in Idris☆12Updated 9 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Experimental Malfunction backend for Idris☆82Updated 7 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- some "modernized" brouwerian mathematics, inspired by Hancock, Ghani & Pattinson☆8Updated 9 years ago
- ☆23Updated 7 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Web based opetopic editor☆35Updated 8 months ago
- TODO☆23Updated 9 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Js libraries for idris☆49Updated 5 years ago
- A formalization of Constructive Projective Geometry in Agda☆13Updated 6 years ago
- Observational Type Theory as an Agda library☆53Updated 8 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago