lojban / ilmentufa
☆51Updated last month
Alternatives and similar repositories for ilmentufa:
Users that are interested in ilmentufa are comparing it to the libraries listed below
- Complete Lojban Language Chunked☆181Updated 4 months ago
- zmifanva - Lojban ↔ English Machine Translation Engine☆37Updated 2 years ago
- la sutysisku dictionary for Lojban and more☆36Updated 9 months ago
- A free and opensource platform for studying the artificial language Lojban.☆83Updated 3 months ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆24Updated last year
- A combine of Lojban tools☆22Updated last year
- ☆32Updated last month
- lojban parser☆23Updated 10 years ago
- Parser & analyser for Lojban☆35Updated 3 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆18Updated 5 years ago
- ☆17Updated 5 years ago
- A relational interpretation of Lojban☆33Updated 3 weeks ago
- Lojban Bible☆22Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Haskell implementation of the Lojban lujvo-making algorithm☆11Updated 4 years ago
- A tool to help learning lojban by reading.☆25Updated 8 years ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated last month
- Archived since the contents have been moved to the Hydras & Co. repository☆29Updated 2 years ago
- A Lojban parser in Piston-Meta☆23Updated 3 years ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆49Updated 4 months ago
- Prolog like language using lojban☆14Updated 10 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- A minimal proof language.☆203Updated 6 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- Real number computation software☆123Updated 2 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 2 years ago
- A formalization of M-types in Agda☆32Updated 4 years ago
- Specification of the Cedille Core language☆29Updated 4 years ago
- HoTT in Lean 3☆78Updated 4 years ago
- A formalisation of the Calculus of Constructions☆66Updated 6 months ago