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
• matthewdeanmartin / tokipona.parser
  A Toki Pona Parser
  ☆42Updated 5 years ago
• machine-intelligence / provability
  ☆35Updated 9 years ago
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆43Updated 10 months ago
• DavidMirror / Unsong-In-Ebook-Format
  ☆2Updated 7 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆24Updated last year
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• nostalgebraist / nostalgebraist-autoresponder
  Code for the tumblr bot nostalgebraist-autoresponder.
  ☆68Updated last year
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆43Updated 3 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆83Updated 3 months ago
• NaNoGenMo / 2023
  National Novel Generation Month, 2023 edition.
  ☆28Updated 4 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 3 weeks ago
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 5 years ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆65Updated this week
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆155Updated 2 weeks ago
• bellroy / predictionbook
  Find out just how sure you should be, and get better at being only as sure as the facts justify.
  ☆73Updated last year
• lojban / ilmentufa
  ☆51Updated last month
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• mouse-reeve / fact-join
  Combine two wikipedia pages to make new facts. Tweets @brand_new_facts
  ☆18Updated 6 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• cryslith / kataomoi
  Cryptographic matchmaking webapp
  ☆12Updated 5 years ago
• Pycea / ACX-tweaks
  Quality of life improvements for the Astral Codex Ten blog on Substack
  ☆16Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆74Updated 5 months ago
• rchurchley / erdos-bacon-sabbath
  An open-source celebration of creative academics & academic creatives
  ☆12Updated 7 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆56Updated last year
• SadaleNet / ilonanpa
  ilo nanpa li ilo pi nasin nanpa pi toki pona.
  ☆13Updated 6 years ago
• bradrn / brassica
  A featureful sound change applier for language construction
  ☆30Updated 2 weeks ago