scott-fleischman / greek-grammar
Modeling Ancient Greek Grammar
☆50Updated 6 years ago
Related projects: ⓘ
- Learning rigid grammars in Haskell.☆24Updated 6 years ago
- A step-by-step MicroKanren evaluator☆29Updated 7 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Updated 9 years ago
- ☆28Updated this week
- Probabilistic computation in Idris☆33Updated 5 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- A programming language☆8Updated 8 years ago
- A prolog interpreter written in Haskell.☆61Updated 9 years ago
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 8 years ago
- A cross-platform file activity monitor☆72Updated 8 years ago
- ☆23Updated 6 years ago
- A framework for natural language syntax and semantics based on type theory.☆13Updated 6 months ago
- 2048 in Idris☆121Updated 6 years ago
- Example uses of monads☆43Updated 5 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Web based opetopic editor☆34Updated 4 years ago
- A wiki based on firm theoretical foundations☆52Updated 8 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆25Updated 3 months ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- i bet you there is a typesystem behind music☆30Updated 5 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 5 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- ☆12Updated this week
- pesca: Proof Editor for Sequent Calculus (mirror)☆10Updated 7 years ago