Alternatives and similar repositories for ilmentufa

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

• La-Lojban / sutysisku
  la sutysisku dictionary for Lojban and more
  ☆38Updated last year
• mhagiwara / zmifanva
  zmifanva - Lojban ↔ English Machine Translation Engine
  ☆39Updated 2 years ago
• lojban / jbofihe
  Parser & analyser for Lojban
  ☆35Updated 4 years ago
• lojban / cll
  Complete Lojban Language Chunked
  ☆184Updated 7 months ago
• lagleki / livla
  A combine of Lojban tools
  ☆23Updated last month
• lojban / jbovlaste
  ☆32Updated last month
• vim-scripts / lojban
  Lojban language support plugin
  ☆10Updated 14 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆88Updated this week
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 4 months ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆25Updated last year
• daeldir / jbogidva
  A tool to help learning lojban by reading.
  ☆25Updated 8 years ago
• lynn / jvoxaskei
  Haskell implementation of the Lojban lujvo-making algorithm
  ☆11Updated 4 years ago
• lakmeer / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆19Updated 5 years ago
• tromp / tromp.github.io
  John Tromp homepage
  ☆25Updated last month
• jackhumbert / zbalermorna-upright-font
  ☆17Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆23Updated 2 months ago
• phma / lojban-bible
  Lojban Bible
  ☆22Updated 3 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 8 months ago
• rocq-community / goedel
  Archived since the contents have been moved to the Hydras & Co. repository
  ☆29Updated 2 years ago
• Philosophical-Language-Group / freetnil
  A community driven philosophical language
  ☆26Updated 4 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…
  ☆51Updated 7 months ago
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…
  ☆29Updated 2 weeks ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆18Updated last week
• chatziko / lci
  A lambda calculus interpeter
  ☆65Updated 5 months ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆113Updated 2 years ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆55Updated 10 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago