Alternatives and similar repositories for llull

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

• machine-intelligence / provability
  ☆40Updated 10 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 3 years ago
• nostalgebraist / nostalgebraist-autoresponder
  Code for the tumblr bot nostalgebraist-autoresponder.
  ☆74Updated 2 years ago
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆44Updated this week
• gtw123 / OpusSolver
  Autosolver for Opus Magnum puzzles
  ☆64Updated last year
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆35Updated 3 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• superpermutators / superperm
  ☆127Updated 2 years ago
• bellroy / lesswrong
  Less Wrong platform
  ☆50Updated 7 years ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆78Updated this week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆177Updated 3 weeks ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆79Updated 4 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆386Updated last week
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆28Updated 2 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• x-raizor / visual-tokipona
  Toki Pona Visual Dictionary with English, Italian and Russian translation in pictures
  ☆32Updated 3 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆23Updated this week
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• gwern / archiver-bot
  Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services
  ☆59Updated 2 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆93Updated last month
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆177Updated last week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆130Updated last year
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 4 months ago
• sharkdp / curiosity
  How far does your curiosity take you?
  ☆120Updated 3 years ago
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 6 years ago