nota-lang / notaLinks
A document language for the browser
β706Updated last year
Alternatives and similar repositories for nota
Users that are interested in nota are comparing it to the libraries listed below
Sorting:
- a tiny tile-based editorβ308Updated last week
- π Web-based, reactive Datalog notebooks for data analysis and visualizationβ624Updated 2 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.β829Updated last year
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystemβ478Updated last year
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β656Updated 3 months ago
- PLDB: a Programming Language DataBaseβ772Updated 3 months ago
- Hazel, a live functional programming environment with typed holesβ1,031Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,144Updated 5 months ago
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.β287Updated 4 years ago
- A highly experimental vi-inspired editor where you edit code, not text.β754Updated 7 months ago
- Data interchange with algebraic data types.β744Updated 2 weeks ago
- Programming language for literate programming law specificationβ2,100Updated this week
- A small extensible programming language designed for concise expression with little code.β1,078Updated last year
- A light markup languageβ1,836Updated last month
- an experimental new programming language based on interaction netsβ301Updated last week
- A book about category theoryβ423Updated 2 weeks ago
- Responsive, animated figures in JavaScript/HTML canvasesβ135Updated 4 months ago
- Systems language with linear types and capability-based security.β1,388Updated last month
- A functional, content-addressable programming language.β445Updated last month
- The Principia Rewriteβ225Updated 7 months ago
- Shrinkray is a modern multi-format test-case reducerβ275Updated last week
- A list of projectional and structural editorsβ389Updated 3 weeks ago
- Use Tree Sitter to parse your own languages in Rustβ671Updated 3 months ago
- Proving leftpad correct two-dozen different waysβ694Updated 5 months ago
- A new, portable, regular expression languageβ1,320Updated 9 months ago
- A fast functional language based on two level type theoryβ392Updated 2 years ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into itβ1,155Updated last month
- Counterexamples in Type Systemsβ403Updated 2 years ago
- Algebraic effects for Rustβ637Updated last year
- Incremental computation through constrained memoization.β534Updated last month