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
  ☆613Updated 2 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆300Updated this week
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆818Updated 11 months ago
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆466Updated 10 months ago
• jgm / djot
  A light markup language
  ☆1,765Updated 2 weeks ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,107Updated last year
• crlf0710 / tectonic
  Experimental Oxidization of Tectonic the TeX/LaTeX engine.
  ☆284Updated 3 years ago
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,040Updated this week
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆626Updated 10 months ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,169Updated 8 months ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆892Updated this week
• pomsky-lang / pomsky
  A new, portable, regular expression language
  ☆1,299Updated 2 months ago
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆611Updated last week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆389Updated 2 years ago
• langjam / langjam
  ☆1,015Updated 2 years ago
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,067Updated 5 months ago
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆1,713Updated this week
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆749Updated this week
• jamii / jams
  ☆182Updated last year
• zesterer / chumsky
  Write expressive, high-performance parsers with ease.
  ☆3,811Updated 2 weeks ago
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆629Updated last week
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated last month
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆394Updated last year
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆260Updated 2 years ago
• typst / comemo
  Incremental computation through constrained memoization.
  ☆470Updated 3 months ago
• elfshaker / elfshaker
  elfshaker stores binary objects efficiently
  ☆2,302Updated 5 months ago
• jfecher / ante
  A safe, easy systems language
  ☆1,947Updated last week
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆402Updated last month
• kneasle / sapling
  A highly experimental vi-inspired editor where you edit code, not text.
  ☆744Updated 3 weeks ago
• nomad / cola
  🥤 A text CRDT for real-time collaborative editing
  ☆510Updated 3 months ago