nota-lang / nota
A document language for the browser
β703Updated 4 months ago
Related projects β
Alternatives and complementary repositories for nota
- π Web-based, reactive Datalog notebooks for data analysis and visualizationβ603Updated last year
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.β812Updated 7 months ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystemβ464Updated 6 months ago
- a tiny tile-based editorβ284Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,092Updated last year
- A modern commutative diagram editor for the web.β2,431Updated last month
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.β285Updated 3 years ago
- A light markup languageβ1,734Updated 2 months ago
- A small extensible programming language designed for concise expression with little code.β1,051Updated 2 months ago
- Hazel, a live functional programming environment with typed holesβ803Updated this week
- A new, portable, regular expression languageβ1,286Updated 6 months ago
- A highly experimental vi-inspired editor where you edit code, not text.β728Updated 9 months ago
- PLDB: a Programming Language DataBaseβ745Updated this week
- Data interchange with algebraic data types.β601Updated 2 months ago
- Systems language with linear types and capability-based security.β1,124Updated 4 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β613Updated 7 months ago
- A fast functional language based on two level type theoryβ388Updated last year
- !!Con West 2019 talkβ349Updated 3 years ago
- an efficient awk-like languageβ1,256Updated 3 months ago
- The Principia Rewriteβ207Updated 6 months ago
- Description and implementation of the core Knuth-Plass line-wrapping algorithm.β155Updated 6 years ago
- A modern Prolog implementation written mostly in Rust.β2,067Updated this week
- tar creator+extractor in ~100 lines of prologβ256Updated last year
- A list of projectional and structural editorsβ341Updated 5 months ago
- A tree-sitter based AST difftool to get meaningful semantic diffsβ1,640Updated this week
- Datalog compiler embedded in Rust as a procedural macroβ463Updated 8 months ago
- A functional, content-addressable programming language.β376Updated last week
- A tag-based filesystemβ590Updated 3 years ago
- Hush is a unix shell based on the Lua programming languageβ659Updated 6 months ago
- Better configuration for lessβ2,427Updated this week