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
  ☆37Updated 10 months ago
• mhagiwara / zmifanva
  zmifanva - Lojban ↔ English Machine Translation Engine
  ☆38Updated 2 years ago
• lojban / jbovlaste
  ☆32Updated 2 months ago
• lojban / cll
  Complete Lojban Language Chunked
  ☆183Updated 5 months ago
• lagleki / livla
  A combine of Lojban tools
  ☆23Updated last year
• lojban / jbofihe
  Parser & analyser for Lojban
  ☆35Updated 4 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆85Updated 4 months ago
• lynn / jvoxaskei
  Haskell implementation of the Lojban lujvo-making algorithm
  ☆11Updated 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
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• lakmeer / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆19Updated 5 years ago
• leanprover / lean-client-js
  ☆38Updated last year
• YoshikuniJujo / lojban_parser
  lojban parser
  ☆23Updated 10 years ago
• phma / lojban-bible
  Lojban Bible
  ☆22Updated 3 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆34Updated last year
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆17Updated 3 months ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆75Updated 4 months ago
• HoTT / M-types
  A formalization of M-types in Agda
  ☆32Updated 5 years ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated last year
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated 2 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆85Updated 9 years ago
• vim-scripts / lojban
  Lojban language support plugin
  ☆10Updated 14 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 5 months ago
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆24Updated 3 years ago