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
• lojban / cll
  Complete Lojban Language Chunked
  ☆184Updated 8 months ago
• lagleki / livla
  A combine of Lojban tools
  ☆23Updated 2 months ago
• mhagiwara / zmifanva
  zmifanva - Lojban ↔ English Machine Translation Engine
  ☆39Updated 2 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆88Updated this week
• lojban / jbovlaste
  ☆32Updated 2 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.
  ☆26Updated 8 years ago
• vim-scripts / lojban
  Lojban language support plugin
  ☆10Updated 14 years ago
• lojban / jbofihe
  Parser & analyser for Lojban
  ☆35Updated 4 years ago
• YoshikuniJujo / lojban_parser
  lojban parser
  ☆23Updated 10 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated this week
• 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 8 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆56Updated 10 years ago
• lynn / jvoxaskei
  Haskell implementation of the Lojban lujvo-making algorithm
  ☆11Updated 4 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated 2 weeks ago
• HoTT / M-types
  A formalization of M-types in Agda
  ☆33Updated 5 years ago
• jackhumbert / zbalermorna-upright-font
  ☆17Updated 5 years ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆34Updated last year
• msuperdock / vim-agda
  Asynchronous type-checking for Agda 2.6.2.
  ☆22Updated last year
• lakmeer / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆19Updated 5 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆133Updated 3 years ago
• rocq-community / goedel
  Archived since the contents have been moved to the Hydras & Co. repository
  ☆30Updated 2 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆62Updated 8 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆34Updated 5 months ago
• agda / agda-language-server
  Language Server for Agda
  ☆112Updated 6 months ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆24Updated 3 months ago