Alternatives and similar repositories for llull

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

• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago
• machine-intelligence / provability
  ☆40Updated 10 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 4 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆79Updated 4 years ago
• nostalgebraist / nostalgebraist-autoresponder
  Code for the tumblr bot nostalgebraist-autoresponder.
  ☆74Updated 2 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆29Updated 2 years ago
• gtw123 / OpusSolver
  Autosolver for Opus Magnum puzzles
  ☆64Updated last year
• olafjanssen / sitelen-sitelen-renderer
  Rust-based library to turn Toki Pona text into the Sitelen Sitelen non-linear writing style.
  ☆75Updated this week
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆35Updated 3 years ago
• kdelwat / Onset
  A language evolution simulator, using realistic phonetic changes.
  ☆40Updated 2 years ago
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆24Updated last week
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆94Updated last week
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆185Updated 4 years ago
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 6 years ago
• DJMcMayhem / V
  A golfing language inspired by everybody's favorite text editor, vim.
  ☆80Updated 6 years ago
• ConorOBrien-Foxx / Pyramid-Scheme
  A pyramidic language
  ☆48Updated 5 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆36Updated 6 months ago
• x-raizor / visual-tokipona
  Toki Pona Visual Dictionary with English, Italian and Russian translation in pictures
  ☆32Updated 3 years ago
• superpermutators / superperm
  ☆126Updated 2 years ago
• zwade / Befungell
  Effective Multi-threading in Befunge!
  ☆46Updated 7 years ago
• paulfitz / cosmicos
  Sending the lambda calculus into deep space
  ☆152Updated 3 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆178Updated this week
• Frib / Armok
  A programming language inspired by Dwarf Fortress
  ☆75Updated 13 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated 2 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• stefichjo / toki-pona
  jan Tepan: "o pilin pona o pu!"
  ☆66Updated 10 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆197Updated this week