Alternatives and similar repositories for nota:

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

• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆608Updated last year
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆469Updated 8 months ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆295Updated this week
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,105Updated last year
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆812Updated 9 months ago
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,065Updated 4 months ago
• kneasle / sapling
  A highly experimental vi-inspired editor where you edit code, not text.
  ☆741Updated 11 months ago
• pomsky-lang / pomsky
  A new, portable, regular expression language
  ☆1,293Updated last month
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆409Updated this week
• jgm / djot
  A light markup language
  ☆1,760Updated last month
• typst / comemo
  Incremental computation through constrained memoization.
  ☆459Updated 2 months ago
• crlf0710 / tectonic
  Experimental Oxidization of Tectonic the TeX/LaTeX engine.
  ☆285Updated 3 years ago
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆624Updated 3 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆623Updated 9 months ago
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆610Updated 3 weeks ago
• facebookexperimental / hermit
  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…
  ☆1,232Updated this week
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,161Updated 7 months ago
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆746Updated this week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated 2 years ago
• rosefromthedead / effing-mad
  Algebraic effects for Rust
  ☆604Updated 6 months ago
• kdl-org / kdl
  the kdl document language specifications
  ☆1,253Updated this week
• hush-shell / hush
  Hush is a unix shell based on the Lua programming language
  ☆660Updated 8 months ago
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆392Updated last year
• ezrosent / frawk
  an efficient awk-like language
  ☆1,261Updated 5 months ago
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆1,691Updated this week
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆860Updated this week
• dada-lang / dada
  I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…
  ☆445Updated 9 months ago
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆358Updated 8 months ago
• nomad / cola
  🥤 A text CRDT for real-time collaborative editing
  ☆509Updated 2 months ago
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆467Updated 10 months ago