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:
- Community contributions to the Grammatical Framework☆61Updated last year
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆50Updated 11 months ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- A relational interpretation of Lojban☆34Updated 2 months ago
- Specification of the Cedille Core language☆33Updated 5 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆27Updated last year
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- ☆64Updated 3 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- A featureful sound change applier for language construction☆40Updated this week
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆23Updated last year
- The future of programming.☆69Updated 4 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆59Updated last week
- Mirror of Epigram 2, by Conor McBride, et al.☆50Updated 5 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- Real number computation software☆127Updated 3 years ago
- A free and opensource platform for studying the artificial language Lojban.☆91Updated this week
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- Homotopy type theory cheatsheets to read the HoTT Book☆11Updated 6 years ago
- Book about using Lean with How To Prove It☆21Updated 2 weeks ago
- A SKI combinators interpreter written in assembly☆19Updated 5 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 4 months ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 6 months ago
- A nano "theorem prover".☆62Updated 6 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆28Updated 3 years ago