Alternatives and similar repositories for ilmentufa

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

• lojban / cll
  Complete Lojban Language Chunked
  ☆184Updated 9 months ago
• 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
• lagleki / livla
  A combine of Lojban tools
  ☆23Updated 3 months ago
• lojban / jbovlaste
  ☆32Updated 3 months ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆88Updated last week
• lojban / jbofihe
  Parser & analyser for Lojban
  ☆36Updated 4 years ago
• daeldir / jbogidva
  A tool to help learning lojban by reading.
  ☆26Updated 2 weeks ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆25Updated last year
• lakmeer / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆19Updated 5 years ago
• phma / lojban-bible
  Lojban Bible
  ☆22Updated 3 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated this week
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• chatziko / lci
  A lambda calculus interpeter
  ☆65Updated 6 months 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 8 months ago
• olafjanssen / sitelen-sitelen-renderer
  JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.
  ☆72Updated last year
• jackhumbert / zbalermorna-upright-font
  ☆17Updated 5 years ago
• YoshikuniJujo / lojban_parser
  lojban parser
  ☆23Updated 10 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆24Updated 4 years ago
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆42Updated 5 months ago
• coolwanglu / quine-chameleon
  Dancing Quine Chameleon
  ☆42Updated 10 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated 2 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years 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…
  ☆28Updated last month
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• holtzermann17 / toki-pona-emoji
  a proposed translation of toki pona lexicon into github emoji
  ☆24Updated 5 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• ctford / Idris-Elba-Dev
  A Whitespace-Based Dependently Typed Functional Programming Language
  ☆16Updated 8 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated last month