lojban / ilmentufaLinks
☆54Updated 8 months ago
Alternatives and similar repositories for ilmentufa
Users that are interested in ilmentufa are comparing it to the libraries listed below
Sorting:
- zmifanva - Lojban ↔ English Machine Translation Engine☆39Updated 2 years ago
- Complete Lojban Language Chunked☆187Updated 11 months ago
- la sutysisku dictionary for Lojban and more☆39Updated last year
- A free and opensource platform for studying the artificial language Lojban.☆90Updated last week
- A combine of Lojban tools☆23Updated 5 months ago
- ☆34Updated 3 weeks ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆27Updated last year
- Parser & analyser for Lojban☆37Updated 4 years ago
- A tool to help learning lojban by reading.☆26Updated 2 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆19Updated 6 years ago
- A relational interpretation of Lojban☆34Updated last month
- lojban parser☆23Updated 11 years ago
- A lambda calculus interpeter☆65Updated 9 months ago
- A set of tools for analysis of texts in the Ithkuil constructed language☆31Updated 6 years ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 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…☆50Updated 11 months ago
- The glitch-soc/Mastodon fork running on types.pl☆26Updated last month
- ☆17Updated 6 years ago
- a proposed translation of toki pona lexicon into github emoji☆24Updated 6 years ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆57Updated this week
- Lojban Bible☆22Updated 4 years ago
- The Twelf Programming Language☆144Updated this week
- A terse declarative logic programming language☆117Updated 5 years ago
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆41Updated 7 months ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- Sending the lambda calculus into deep space☆151Updated 3 years ago
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆72Updated last year