lojban / ilmentufaLinks
☆55Updated this week
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☆38Updated 3 years ago
- Complete Lojban Language Chunked☆188Updated last year
- la sutysisku dictionary for Lojban and more☆40Updated last year
- A free and opensource platform for studying the artificial language Lojban.☆94Updated 3 weeks ago
- ☆35Updated 4 months ago
- Parser & analyser for Lojban☆39Updated last month
- A combine of Lojban tools☆24Updated last week
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆28Updated 2 years ago
- A tool to help learning lojban by reading.☆26Updated 6 months ago
- A lambda calculus interpeter☆67Updated last year
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- lojban parser☆23Updated 11 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆20Updated 6 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- A relational interpretation of Lojban☆34Updated 5 months ago
- Convert/mirror darcs repos into git repos☆102Updated last year
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata☆23Updated 2 years ago
- John Tromp homepage☆29Updated 2 weeks ago
- The Twelf Programming Language☆147Updated last month
- A terse declarative logic programming language☆118Updated 5 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
- A codegolf language for mortals☆34Updated 3 weeks ago
- Grammatical Framework's Resource Grammar Library (RGL)☆61Updated this week
- A set of tools for analysis of texts in the Ithkuil constructed language☆31Updated 6 years ago
- Updated LazyK source distribution☆19Updated last month
- A community driven philosophical language☆26Updated 4 years ago