olpa / gf-tokiponaLinks
Describe Toki Pona using Grammatical Framework
☆11Updated 5 years ago
Alternatives and similar repositories for gf-tokipona
Users that are interested in gf-tokipona are comparing it to the libraries listed below
Sorting:
- Yoneda lemma in every known language☆17Updated 2 years ago
- Specification of the Cedille Core language☆34Updated 5 years ago
- A relational interpretation of Lojban☆35Updated 6 months ago
- Community contributions to the Grammatical Framework☆62Updated last year
- Book about using Lean with How To Prove It☆25Updated last month
- Mirror of Epigram 2, by Conor McBride, et al.☆58Updated 5 years ago
- Generalized syntax & semantics for universe hierarchies☆32Updated 2 years ago
- A featureful sound change applier for language construction☆42Updated 3 months ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 9 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Updated 5 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated last week
- ☆40Updated 2 years ago
- a self-hosting lambda calculus compiler☆37Updated 9 months ago
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆80Updated 4 months ago
- ☆22Updated 9 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆51Updated 3 years ago
- ☆64Updated 3 years ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆52Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Updated 8 years ago
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆23Updated 2 years ago
- ☆62Updated 6 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆29Updated 3 years ago
- Coherence typechecker for infinity categories☆20Updated 3 weeks ago
- The official interpreter for the Jeopardy language☆16Updated 3 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Updated 2 months ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆60Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆65Updated 7 months ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆28Updated 2 years ago