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
  ☆315Updated last month
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆831Updated last year
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆632Updated 2 years ago
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆756Updated 3 weeks ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,153Updated 9 months ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,062Updated this week
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆482Updated this week
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆670Updated 6 months ago
• kneasle / sapling
  A highly experimental vi-inspired editor where you edit code, not text.
  ☆766Updated 10 months ago
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,084Updated last year
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆777Updated 2 months ago
• jgm / djot
  A light markup language
  ☆1,879Updated 3 weeks ago
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆452Updated 4 months ago
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,186Updated last week
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆682Updated 6 months ago
• sdiehl / typechecker-zoo
  A menagerie of cute implementations of modern typechecking algorithms
  ☆364Updated last week
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,161Updated last week
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆417Updated 3 months ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆453Updated this week
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated 3 weeks ago
• pomsky-lang / pomsky
  A new, portable, regular expression language
  ☆1,349Updated last month
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆228Updated last month
• s-arash / ascent
  Logic programming in Rust
  ☆524Updated 2 months ago
• nadavrot / layout
  Layout is a rust library and a tool that renders Graphviz dot files.
  ☆719Updated 7 months ago
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆406Updated 2 years ago
• ehatti / peridot
  A fast functional language based on two level type theory
  ☆392Updated 2 years ago
• varkor / quiver
  A modern commutative diagram editor for the web.
  ☆3,411Updated 2 months ago
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆2,295Updated this week
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆308Updated last week
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆285Updated this week