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 3 weeks ago
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆619Updated 2 years ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆825Updated last year
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆770Updated last month
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆969Updated this week
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,129Updated 3 months ago
• kneasle / sapling
  A highly experimental vi-inspired editor where you edit code, not text.
  ☆751Updated 5 months ago
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆625Updated last week
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆471Updated last year
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆648Updated last month
• jgm / djot
  A light markup language
  ☆1,798Updated 3 weeks ago
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,075Updated 10 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 5 months ago
• pomsky-lang / pomsky
  A new, portable, regular expression language
  ☆1,317Updated 6 months ago
• typst / comemo
  Incremental computation through constrained memoization.
  ☆525Updated 8 months ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,357Updated 2 months ago
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,150Updated this week
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆439Updated 2 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆680Updated 2 months ago
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆380Updated 2 months ago
• thesephist / oak
  An expressive, simple, dynamic programming language.
  ☆245Updated last year
• langjam / langjam
  ☆1,011Updated 2 years ago
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,081Updated this week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆296Updated last year
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• nadavrot / layout
  Layout is a rust library and a tool that renders Graphviz dot files.
  ☆701Updated last month
• 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…
  ☆484Updated last month
• amoffat / supertag
  A tag-based filesystem
  ☆609Updated 4 years ago
• ianthehenry / bauble
  a playground for making 3D art with lisp and math
  ☆504Updated 5 months ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆211Updated 6 months ago