lojban / ilmentufa
☆48Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for ilmentufa
- la sutysisku dictionary for Lojban and more☆35Updated 6 months ago
- A combine of Lojban tools☆22Updated last year
- zmifanva - Lojban ↔ English Machine Translation Engine☆37Updated 2 years ago
- Parser & analyser for Lojban☆33Updated 3 years ago
- Complete Lojban Language Chunked☆176Updated last month
- ☆31Updated 6 months ago
- A tool to help learning lojban by reading.☆25Updated 8 years ago
- A free and opensource platform for studying the artificial language Lojban.☆81Updated last week
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆23Updated 11 months ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆18Updated 5 years ago
- ☆17Updated 5 years ago
- Haskell implementation of the Lojban lujvo-making algorithm☆11Updated 3 years ago
- A relational interpretation of Lojban☆32Updated this week
- A Lojban parser in Piston-Meta☆22Updated 3 years ago
- Lojban Bible☆21Updated 3 years ago
- ☆34Updated last year
- Tableau for basic modal logic in Lean 3☆13Updated last year
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆49Updated last month
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- The glitch-soc/Mastodon fork running on types.pl☆20Updated 4 months ago
- A set of tools for analysis of texts in the Ithkuil constructed language☆31Updated 5 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Fractran interpreter in Fractran☆34Updated 9 years ago
- a proposed translation of toki pona lexicon into github emoji☆24Updated 5 years ago
- Functional golfing language inspired by Haskell.☆75Updated 3 years ago
- Verified decision procedures for modal logics in Lean☆11Updated 4 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆43Updated 3 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆72Updated 2 months ago
- Book about using Lean with How To Prove It☆15Updated 2 months ago
- A bare-bones blogging system, written in Prolog☆25Updated 9 months ago