mhagiwara / zmifanva
zmifanva - Lojban ↔ English Machine Translation Engine
☆37Updated last year
Related projects ⓘ
Alternatives and complementary repositories for zmifanva
- ☆47Updated 4 months ago
- A Lojban parser in Piston-Meta☆22Updated 3 years ago
- la sutysisku dictionary for Lojban and more☆35Updated 5 months ago
- ☆31Updated 6 months ago
- Complete Lojban Language Chunked☆176Updated 3 weeks ago
- A combine of Lojban tools☆22Updated last year
- A relational interpretation of Lojban☆32Updated last week
- Haskell implementation of the Lojban lujvo-making algorithm☆11Updated 3 years ago
- A free and opensource platform for studying the artificial language Lojban.☆81Updated 7 months ago
- Parser & analyser for Lojban☆33Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- ☆36Updated 6 years ago
- Noether programming language☆126Updated 7 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 2 weeks ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆23Updated 10 months ago
- A tool to help learning lojban by reading.☆25Updated 8 years ago
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆40Updated 3 months ago
- Lojban Bible☆21Updated 3 years ago
- A language for matching two-dimensional patterns, based on Boolean grammars.☆13Updated 6 years ago
- Exampwe of ewwonyenyonyuns code:☆15Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Charity Programming Language☆38Updated 9 years ago
- Verified decision procedures for modal logics in Lean☆11Updated 4 years ago
- lang Thue + Regex☆13Updated 2 years ago
- Awelon project is a new UI model with a new language.☆101Updated 9 years ago
- A nano "theorem prover".☆61Updated 5 years ago
- ☆33Updated 2 years ago
- sorear's Metamath system engine - version 3 Rust☆22Updated last year
- Real number computation software☆121Updated 2 years ago
- Abstract binding tree code generator☆36Updated 8 years ago