Alternatives and similar repositories for ilmentufa

Users that are interested in ilmentufa are comparing it to the libraries listed below

• mhagiwara / zmifanva
  zmifanva - Lojban ↔ English Machine Translation Engine
  ☆38Updated 3 years ago
• lojban / cll
  Complete Lojban Language Chunked
  ☆188Updated last year
• La-Lojban / sutysisku
  la sutysisku dictionary for Lojban and more
  ☆40Updated last year
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆94Updated 3 weeks ago
• lojban / jbovlaste
  ☆35Updated 4 months ago
• lojban / jbofihe
  Parser & analyser for Lojban
  ☆39Updated last month
• lagleki / livla
  A combine of Lojban tools
  ☆24Updated last week
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆28Updated 2 years ago
• daeldir / jbogidva
  A tool to help learning lojban by reading.
  ☆26Updated 6 months ago
• chatziko / lci
  A lambda calculus interpeter
  ☆67Updated last year
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆79Updated 4 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• YoshikuniJujo / lojban_parser
  lojban parser
  ☆23Updated 11 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• lakmeer / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆20Updated 6 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 5 months ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆102Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• catseye / ALPACA
  MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata
  ☆23Updated 2 years ago
• tromp / tromp.github.io
  John Tromp homepage
  ☆29Updated 2 weeks ago
• standardml / twelf
  The Twelf Programming Language
  ☆147Updated last month
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 5 years ago
• jan-Lope / Toki_Pona-Parser
  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
• darrenks / nibbles
  A codegolf language for mortals
  ☆34Updated 3 weeks ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆61Updated this week
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 6 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆19Updated last month
• Philosophical-Language-Group / freetnil
  A community driven philosophical language
  ☆26Updated 4 years ago