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 9 months ago
• PabloLec / StarryLines
  Find the most starred repositories per line of code in the language of your choice
  ☆12Updated last year
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 10 months ago
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆16Updated last year
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated 3 months ago
• MarcelGarus / plum
  A small, functional, cozy programming language.
  ☆15Updated this week
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 3 months ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 6 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 3 weeks ago
• cluesurf / tree
  A Modeling Notation ꕤ
  ☆15Updated 3 weeks ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated last month
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated last week
• squidscode / apli
  The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…
  ☆13Updated last year
• awodey / joyal
  ☆15Updated 10 months ago
• tearflake / symbolverse
  minimalistic symbolic term rewriting framework
  ☆15Updated last week
• ThetaLang / Theta
  θ A statically typed, functional programming language that compiles to WebAssembly
  ☆39Updated 5 months ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated 2 weeks ago
• brouberol / bo
  My personal prose editor with vim-like navigation.
  ☆12Updated 2 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆31Updated 3 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 3 weeks ago
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆16Updated 5 months ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated last month
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• NUS-Math-Formalization / coxeter
  ☆12Updated 9 months ago
• FormalizedFormalLogic / Arithmetization
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆12Updated last month
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆16Updated 6 months ago
• srid / emanote.obelisk
  Incremental fast build engine cum unique navigation UI (with search) for plain-text notes, optimized for private notebooks.
  ☆11Updated 3 years ago