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 2 weeks ago
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆615Updated 2 years ago
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆616Updated last month
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆923Updated this week
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,295Updated this week
• jgm / djot
  A light markup language
  ☆1,792Updated 3 months ago
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆760Updated this week
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆469Updated last year
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆823Updated last year
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,120Updated last month
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,068Updated 8 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆642Updated last week
• pomsky-lang / pomsky
  A new, portable, regular expression language
  ☆1,303Updated 4 months ago
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆1,751Updated this week
• kneasle / sapling
  A highly experimental vi-inspired editor where you edit code, not text.
  ☆747Updated 3 months ago
• kdl-org / kdl
  the kdl document language specifications
  ☆1,313Updated last week
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆644Updated last week
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,211Updated this week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• s-arash / ascent
  Logic programming in Rust
  ☆466Updated last week
• crlf0710 / tectonic
  Experimental Oxidization of Tectonic the TeX/LaTeX engine.
  ☆284Updated 4 years ago
• nadavrot / layout
  Layout is a rust library and a tool that renders Graphviz dot files.
  ☆694Updated 2 weeks ago
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,490Updated 2 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆671Updated 3 weeks ago
• benruijl / symbolica
  A modern computer algebra library for Python and Rust.
  ☆606Updated last week
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆1,002Updated this week
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆414Updated last month
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,065Updated this week
• typst / comemo
  Incremental computation through constrained memoization.
  ☆508Updated 6 months ago
• jfecher / ante
  A safe, easy systems language
  ☆1,999Updated this week