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 6 years ago
- TODO☆23Updated 9 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Example uses of monads☆43Updated 6 years ago
- A string diagram generator for LaTeX.☆27Updated last year
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Updated 7 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A simple development of linear logic in Coq.☆13Updated 2 months ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆12Updated 4 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Experimental markdown processor in Haskell☆108Updated 4 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Web based opetopic editor☆35Updated 7 months ago
- TODO☆10Updated 9 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- Idris Todo web application example☆42Updated 2 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 8 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- Markup language on top of Haskell☆12Updated 7 months ago
- An abstract machine using indexed containers and their zippers☆14Updated 8 years ago
- Dependently-typed structures for quantum physics in Idris☆13Updated 9 years ago