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
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆44Updated last year
• machine-intelligence / provability
  ☆38Updated 10 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆27Updated last year
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 6 years ago
• lojban / ilmentufa
  ☆53Updated 7 months ago
• bellroy / lesswrong
  Less Wrong platform
  ☆50Updated 7 years ago
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆23Updated 2 weeks ago
• superpermutators / superperm
  ☆126Updated 2 years ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆75Updated this week
• x-raizor / visual-tokipona
  Toki Pona Visual Dictionary with English, Italian and Russian translation in pictures
  ☆32Updated 2 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• gtw123 / OpusSolver
  Autosolver for Opus Magnum puzzles
  ☆64Updated 10 months ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• emhoracek / smooch
  Kisekae Set System implementation for the web
  ☆46Updated 2 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆90Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆119Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆380Updated 6 months ago
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆35Updated 3 years ago
• jeffkaufman / nomic
  Automated nomic
  ☆18Updated 6 years ago
• ericastor / rmzoo
  ☆14Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated last month
• phma / lojban-bible
  Lojban Bible
  ☆22Updated 4 years ago
• zwade / Befungell
  Effective Multi-threading in Befunge!
  ☆46Updated 6 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• digama0 / olean-rs
  parser/viewer for olean files (lean 3)
  ☆13Updated 6 years ago
• bellroy / predictionbook
  Find out just how sure you should be, and get better at being only as sure as the facts justify.
  ☆73Updated last year
• mhagiwara / zmifanva
  zmifanva - Lojban ↔ English Machine Translation Engine
  ☆39Updated 2 years ago