Alternatives and similar repositories for llull

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

• nostalgebraist / nostalgebraist-autoresponder
  Code for the tumblr bot nostalgebraist-autoresponder.
  ☆74Updated 2 years ago
• machine-intelligence / provability
  ☆40Updated 10 years ago
• superpermutators / superperm
  ☆126Updated 2 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆178Updated this week
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• gtw123 / OpusSolver
  Autosolver for Opus Magnum puzzles
  ☆64Updated last year
• monasticacademy / logical-induction
  Code to support the guide to logical induction for software engineers
  ☆11Updated 10 months ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 4 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 2 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆387Updated last month
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆23Updated this week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆197Updated 2 weeks ago
• lojban / ilmentufa
  ☆56Updated 3 weeks ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆29Updated 2 years ago
• g-leech / argmin-gravitas
  a simulacrum standing in place of Gavin Leech
  ☆18Updated 2 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆35Updated 3 years ago
• noether-lang / noether
  Noether programming language
  ☆130Updated 8 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆461Updated 7 years 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
• ConorOBrien-Foxx / Pyramid-Scheme
  A pyramidic language
  ☆48Updated 5 years ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 9 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆61Updated 10 months ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated this week
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• mhagiwara / zmifanva
  zmifanva - Lojban ↔ English Machine Translation Engine
  ☆38Updated 3 years ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆63Updated 3 weeks ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆66Updated 11 months ago