Alternatives and similar repositories for komodo

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

• Amirrezahmi / Mathematica-Wolfram-notebooks
  This repository houses five notebooks containing Mathematica Wolfram commands along with their detailed descriptions in Persian. Explore …
  ☆14Updated 2 years ago
• tommasocerruti / rowlang
  RowLang is a minimalistic esoteric programming language written as an analogy to rowing.
  ☆20Updated last year
• emeks-studio / sensum
  An anonymous way of express your sensations through a decentralized network, powered by open source code and blockchain technologies.
  ☆8Updated last year
• ThomasGust / SoilingNet
  This repository is for the SoilingNet Project. Soiling Net is an AI model to analyze soiling and power loss on photovoltaic panels, with …
  ☆10Updated 10 months ago
• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• 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
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆18Updated 5 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated 2 weeks ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 9 months ago
• jacobneu / HoTT-agda
  Formalization of Homotopy Type Theory for use in my Youtube videos
  ☆15Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• tearflake / symbolverse
  minimalistic s-expression based term rewriting framework
  ☆15Updated last month
• HactarCE / Metatape
  An esoteric programming language with just two data types: null and tape
  ☆11Updated last year
• kztk-m / sparcl
  Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
  ☆12Updated 2 years ago
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆15Updated last month
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆15Updated last week
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆16Updated 9 months ago
• AsafShul / auto_language_switcher_MacOS
  script for automatically changing the keyboard input language based on the specific app preferences
  ☆15Updated 2 years ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆19Updated 3 years ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆25Updated 7 months ago
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated last year
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• molarmanful / sclin
  A concatenative cyborg chimera.
  ☆10Updated 6 months ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated 2 years ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆23Updated last year
• ConnorGray / md2nb
  Markdown to Wolfram Notebook converter
  ☆14Updated 3 years ago
• coetaur0 / nox
  The Nox programming language
  ☆30Updated 2 years ago