Alternatives and similar repositories for IthkuilGloss

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

• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆88Updated last week
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 6 years ago
• lynn / toki-wile
  a constructed language, that combines the parts of Ithkuil I find interesting with the parts of Toki Pona I find cute and learnable
  ☆25Updated 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
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆288Updated this week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆282Updated 2 years ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆32Updated last month
• eberban / eberban
  Parser and dictionary for the eberban language.
  ☆28Updated last week
• kspalaiologos / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆514Updated last week
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆79Updated 3 years ago
• anna328p / linjasuwi
  new sitelen pona font
  ☆32Updated 10 months ago
• Philosophical-Language-Group / freetnil
  A community driven philosophical language
  ☆26Updated 4 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆111Updated 3 weeks ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆382Updated this week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 5 years ago
• Vyxal / Vyxal
  A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
  ☆286Updated last week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆317Updated last week
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 4 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆44Updated last year
• digama0 / mm0
  Metamath Zero specification language
  ☆346Updated 2 weeks ago
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆16Updated 2 years ago
• caliconiko / shapes
  A graphical shape based esolang
  ☆32Updated 2 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆178Updated 4 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆309Updated 8 months ago
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated 2 weeks ago
• catseye / Befunge-93
  MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!
  ☆99Updated 6 years ago
• KislyjKisel / Raylib.lean
  Raylib bindings for Lean4
  ☆26Updated 2 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆139Updated 7 years ago