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
  ☆88Updated 3 years ago
• kai-qu / poemify
  ever wanted to change water into wine? better: now you can change prose into poetry
  ☆15Updated 9 years ago
• gtw123 / OpusSolver
  Autosolver for Opus Magnum puzzles
  ☆63Updated 2 months ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• machine-intelligence / provability
  ☆35Updated 9 years ago
• DavidMirror / Unsong-In-Ebook-Format
  ☆2Updated 7 years ago
• averykatko / buffalo
  English is fun
  ☆9Updated 9 years ago
• gwern / archiver-bot
  Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services
  ☆53Updated last year
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆43Updated 3 years ago
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 5 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated last month
• cryslith / kataomoi
  Cryptographic matchmaking webapp
  ☆12Updated 5 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆23Updated last year
• asmr-hex / new-yorken-poesry-magazine
  The New Yorken Poesry Magazine is a cultured poetry journal by AI, for AI
  ☆35Updated 5 years ago
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆21Updated this week
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆26Updated 8 months ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆64Updated 2 weeks ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• superpermutators / superperm
  ☆124Updated last year
• bellroy / lesswrong
  Less Wrong platform
  ☆49Updated 6 years ago
• zwade / Befungell
  Effective Multi-threading in Befunge!
  ☆46Updated 6 years ago
• jeffkaufman / nomic
  Automated nomic
  ☆18Updated 5 years ago
• NaNoGenMo / 2019
  National Novel Generation Month, 2019 edition.
  ☆98Updated last year
• casey / boot
  boot / ⠛⠕⠞⠞⠁⠀⠃⠕⠕⠞⠀⠮⠀⠍⠑⠞⠁⠍⠁⠡⠔⠑
  ☆11Updated 6 years ago
• BekaValentine / labrys
  A toolkit for web autonomy.
  ☆19Updated 2 years ago
• C0deH4cker / Fission
  The programming language that defies the laws of physics
  ☆23Updated 6 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated last week
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year