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
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago
• nostalgebraist / nostalgebraist-autoresponder
  Code for the tumblr bot nostalgebraist-autoresponder.
  ☆73Updated 2 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆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
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 6 years ago
• gtw123 / OpusSolver
  Autosolver for Opus Magnum puzzles
  ☆64Updated 11 months ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• machine-intelligence / provability
  ☆39Updated 10 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• superpermutators / superperm
  ☆127Updated 2 years 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
• sumpygump / sitelen-sitelen
  SVG glyphs for sitelen sitelen
  ☆24Updated last year
• mjdominus / anagram-scoring
  Algorithm for locating anagrams and evaluating their quality
  ☆13Updated 8 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 8 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆27Updated last year
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆91Updated this week
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆23Updated this week
• walck / cyclotomic
  A subfield of the complex numbers for exact calculation.
  ☆22Updated 5 years ago
• paulfitz / cosmicos
  Sending the lambda calculus into deep space
  ☆151Updated 3 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• ConorOBrien-Foxx / Pyramid-Scheme
  A pyramidic language
  ☆48Updated 5 years ago
• shapr / sandwatch
  Remember how long commands take, tell me if I have enough time to make a sandwich
  ☆26Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆170Updated last week
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 months ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 5 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆122Updated last year
• DJMcMayhem / V
  A golfing language inspired by everybody's favorite text editor, vim.
  ☆80Updated 6 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆384Updated 7 months ago