Alternatives and similar repositories for komodo

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

• tommasocerruti / rowlang
  RowLang is a minimalistic esoteric programming language written as an analogy to rowing.
  ☆20Updated 11 months ago
• tearflake / symbolverse
  minimalistic symbolic term rewriting framework
  ☆15Updated last week
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆17Updated 2 years ago
• PabloLec / StarryLines
  Find the most starred repositories per line of code in the language of your choice
  ☆12Updated last year
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated 2 weeks ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 4 months ago
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆17Updated 4 months ago
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 2 months ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• cluesurf / tree
  A Modeling Notation ꕤ
  ☆15Updated 3 weeks ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• NUS-Math-Formalization / coxeter
  ☆12Updated 11 months ago
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆16Updated 6 months ago
• dghosef / qdbp
  ☆53Updated this week
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 11 months ago
• awodey / joyal
  ☆15Updated 11 months ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• FormalizedFormalLogic / Arithmetization
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆12Updated 3 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated last month
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 3 months ago
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆16Updated 6 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated this week
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated last week
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 2 months ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• iwilare / categorical-automata
  Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…
  ☆18Updated last year