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
  ☆316Updated last month
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆631Updated 2 years ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆832Updated last year
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆484Updated last week
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆672Updated 7 months ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,155Updated 10 months ago
• kneasle / sapling
  A highly experimental vi-inspired editor where you edit code, not text.
  ☆769Updated 11 months ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,064Updated this week
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆757Updated last month
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆779Updated 3 months ago
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,085Updated last year
• jgm / djot
  A light markup language
  ☆1,902Updated last month
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆451Updated 5 months ago
• zxch3n / tidy
  A tree visualization tool written in Rust
  ☆340Updated 2 years ago
• langjam / langjam
  ☆1,007Updated 2 years ago
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆337Updated last week
• typst / comemo
  Incremental computation through constrained memoization.
  ☆575Updated last month
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆423Updated 3 months ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,441Updated 5 months ago
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,200Updated last week
• tokay-lang / tokay
  Tokay programming language, designed for ad-hoc parsing and syntax-directed development.
  ☆250Updated 3 weeks ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆453Updated last week
• pomsky-lang / pomsky
  A new, portable, regular expression language
  ☆1,350Updated 2 months ago
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆684Updated 7 months ago
• 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…
  ☆486Updated 8 months ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆214Updated last year
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆198Updated last week
• timvieira / justified-variables
  Words of the same length with related meanings.
  ☆348Updated last month
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆228Updated last month
• varkor / quiver
  A modern commutative diagram editor for the web.
  ☆3,441Updated this week