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
  ☆629Updated 2 years ago
• 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.
  ☆665Updated 6 months ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆832Updated last year
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,152Updated 8 months ago
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆754Updated last month
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,058Updated this week
• kneasle / sapling
  A highly experimental vi-inspired editor where you edit code, not text.
  ☆766Updated 10 months ago
• pomsky-lang / pomsky
  A new, portable, regular expression language
  ☆1,344Updated 3 weeks ago
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆776Updated last month
• jgm / djot
  A light markup language
  ☆1,863Updated this week
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,083Updated last year
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated 2 weeks ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆447Updated last week
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆452Updated 4 months ago
• jamii / jams
  ☆183Updated 6 months ago
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆682Updated 5 months ago
• mkhan45 / CalcuLaTeX
  A pretty printing calculator language with support for units. Makes calculations easier and more presentable with real time LaTeX output,…
  ☆405Updated 4 years ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,418Updated 4 months ago
• ehatti / peridot
  A fast functional language based on two level type theory
  ☆392Updated 2 years ago
• amoffat / supertag
  A tag-based filesystem
  ☆609Updated 4 years ago
• hush-shell / hush
  Hush is a unix shell based on the Lua programming language
  ☆683Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆137Updated this week
• 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 6 months ago
• sdiehl / typechecker-zoo
  A menagerie of cute implementations of modern typechecking algorithms
  ☆355Updated this week
• argumentcomputer / yatima-lang-alpha
  A programming language for the decentralized web
  ☆447Updated 2 years ago
• varkor / quiver
  A modern commutative diagram editor for the web.
  ☆3,395Updated 2 months ago
• e-n-f / if-then-else
  !!Con West 2019 talk
  ☆353Updated 5 years ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆263Updated 2 years ago
• xymostech / XymosTeX
  A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
  ☆104Updated last year