Alternatives and similar repositories for nota

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

• hazelgrove / tylr
  a tiny tile-based editor
  ☆304Updated this week
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆618Updated 2 years ago
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆471Updated last year
• jgm / djot
  A light markup language
  ☆1,794Updated this week
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆930Updated this week
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,125Updated 3 months ago
• zxch3n / tidy
  A tree visualization tool written in Rust
  ☆323Updated 2 years ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆824Updated last year
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,076Updated 9 months ago
• varkor / quiver
  A modern commutative diagram editor for the web.
  ☆3,267Updated this week
• pomsky-lang / pomsky
  A new, portable, regular expression language
  ☆1,316Updated 6 months ago
• crlf0710 / tectonic
  Experimental Oxidization of Tectonic the TeX/LaTeX engine.
  ☆286Updated 4 years ago
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆436Updated last month
• kneasle / sapling
  A highly experimental vi-inspired editor where you edit code, not text.
  ☆748Updated 4 months ago
• ezrosent / frawk
  an efficient awk-like language
  ☆1,269Updated 10 months ago
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆380Updated 2 months ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆264Updated 2 years ago
• refaktor / rye
  a language trying to be flexible about expression, but strict about state
  ☆568Updated 3 weeks ago
• pen-lang / pen
  The parallel, concurrent, and functional programming language for scalable software development
  ☆458Updated last week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• kstenerud / concise-encoding
  The secure data format for a modern world
  ☆268Updated last year
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆1,770Updated this week
• jgm / djot.js
  JavaScript implementation of djot
  ☆178Updated last month
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆648Updated 2 weeks ago
• typst / comemo
  Incremental computation through constrained memoization.
  ☆518Updated 7 months ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,350Updated last month
• ianthehenry / bauble
  a playground for making 3D art with lisp and math
  ☆501Updated 5 months ago
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆621Updated last month
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,245Updated this week
• digama0 / mm0
  Metamath Zero specification language
  ☆342Updated last month