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 2 years ago
• La-Lojban / sutysisku
  la sutysisku dictionary for Lojban and more
  ☆37Updated 11 months ago
• lojban / cll
  Complete Lojban Language Chunked
  ☆183Updated 6 months ago
• lagleki / livla
  A combine of Lojban tools
  ☆23Updated last week
• lojban / jbovlaste
  ☆32Updated last week
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆86Updated 5 months ago
• vim-scripts / lojban
  Lojban language support plugin
  ☆10Updated 14 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• YoshikuniJujo / lojban_parser
  lojban parser
  ☆23Updated 10 years ago
• lojban / jbofihe
  Parser & analyser for Lojban
  ☆35Updated 4 years 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
• jackhumbert / zbalermorna-upright-font
  ☆17Updated 5 years ago
• lynn / jvoxaskei
  Haskell implementation of the Lojban lujvo-making algorithm
  ☆11Updated 4 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 2 months ago
• phma / lojban-bible
  Lojban Bible
  ☆22Updated 3 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• lakmeer / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆19Updated 5 years 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
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆18Updated 3 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• leanprover / lean-client-js
  ☆38Updated last year
• pauladam94 / curryst
  Typst Package to typeset inference rule
  ☆34Updated last month
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆41Updated last year
• gebner / hott3
  HoTT in Lean 3
  ☆79Updated 4 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated last month
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 6 months ago