Alternatives and similar repositories for zmifanva

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

• lojban / ilmentufa
  ☆52Updated 5 months ago
• lojban / jbofihe
  Parser & analyser for Lojban
  ☆35Updated 4 years ago
• La-Lojban / sutysisku
  la sutysisku dictionary for Lojban and more
  ☆38Updated last year
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆88Updated this week
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆24Updated 4 years ago
• lojban / jbovlaste
  ☆32Updated 2 months ago
• lojban / cll
  Complete Lojban Language Chunked
  ☆184Updated 8 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated this week
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆25Updated last year
• lagleki / livla
  A combine of Lojban tools
  ☆23Updated 2 months ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• daeldir / jbogidva
  A tool to help learning lojban by reading.
  ☆26Updated 8 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 8 months ago
• phma / lojban-bible
  Lojban Bible
  ☆22Updated 3 years ago
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 8 years ago
• lynn / jvoxaskei
  Haskell implementation of the Lojban lujvo-making algorithm
  ☆11Updated 4 years ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 7 years ago
• serprex / Befunge
  lang befunge 93 fast
  ☆20Updated last year
• YoshikuniJujo / lojban_parser
  lojban parser
  ☆23Updated 10 years ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 3 weeks ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• jsdf / lisp.rs
  Scheme Interpreter in Rust
  ☆28Updated 7 years ago
• vim-scripts / lojban
  Lojban language support plugin
  ☆10Updated 14 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• MichaelBurge / pornview
  Porn browser formally-verified in Coq
  ☆51Updated 7 years ago
• ctford / Idris-Elba-Dev
  A Whitespace-Based Dependently Typed Functional Programming Language
  ☆16Updated 8 years ago