Alternatives and similar repositories for llull

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

• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 3 years ago
• machine-intelligence / provability
  ☆40Updated 10 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆28Updated 2 years ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 6 years ago
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆23Updated last week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆79Updated 4 years ago
• superpermutators / superperm
  ☆126Updated 2 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• nostalgebraist / nostalgebraist-autoresponder
  Code for the tumblr bot nostalgebraist-autoresponder.
  ☆74Updated 2 years ago
• lojban / ilmentufa
  ☆55Updated 11 months ago
• gtw123 / OpusSolver
  Autosolver for Opus Magnum puzzles
  ☆64Updated last year
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆94Updated last week
• ConorOBrien-Foxx / Pyramid-Scheme
  A pyramidic language
  ☆48Updated 5 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆194Updated last week
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• mjdominus / anagram-scoring
  Algorithm for locating anagrams and evaluating their quality
  ☆13Updated 8 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 5 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• zwade / Befungell
  Effective Multi-threading in Befunge!
  ☆46Updated 7 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• jeffkaufman / nomic
  Automated nomic
  ☆17Updated 6 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆387Updated 3 weeks ago
• emhoracek / smooch
  Kisekae Set System implementation for the web
  ☆46Updated 3 years ago
• cgyarvin / urbit
  Urbit: an operating function
  ☆96Updated 8 years ago
• bellroy / lesswrong
  Less Wrong platform
  ☆50Updated 7 years ago
• paulfitz / cosmicos
  Sending the lambda calculus into deep space
  ☆151Updated 3 years ago
• isovector / latex-live-snippets
  deprecated by `design-tools`
  ☆17Updated 7 years ago