scott-fleischman / greek-grammar
Modeling Ancient Greek Grammar
☆50Updated 6 years ago
Alternatives and similar repositories for greek-grammar:
Users that are interested in greek-grammar are comparing it to the libraries listed below
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆16Updated 11 months ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- A general purpose programming language with linear types☆44Updated 8 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 4 months ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Type theory in type theory☆16Updated 13 years ago
- TODO☆23Updated 9 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆18Updated 4 years ago
- Formalization of Opetopes and Opetopic Sets in Agda☆18Updated 8 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- A monadic (and pretty) pretty printer for Haskell☆37Updated last year
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- An abstract machine using indexed containers and their zippers☆14Updated 8 years ago
- Web based opetopic editor☆35Updated 5 months ago
- TODO☆10Updated 9 years ago
- Dependently-typed structures for quantum physics in Idris☆13Updated 9 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 7 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- Idris Todo web application example☆42Updated 2 years ago