nota-lang / nota
A document language for the browser
β704Updated 8 months ago
Alternatives and similar repositories for nota:
Users that are interested in nota are comparing it to the libraries listed below
- π Web-based, reactive Datalog notebooks for data analysis and visualizationβ614Updated 2 years ago
- a tiny tile-based editorβ304Updated 2 weeks ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,111Updated last week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.β821Updated last year
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystemβ466Updated 11 months ago
- A light markup languageβ1,776Updated last month
- A small extensible programming language designed for concise expression with little code.β1,067Updated 6 months ago
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.β285Updated 4 years ago
- Data interchange with algebraic data types.β612Updated 2 weeks ago
- A new, portable, regular expression languageβ1,302Updated 3 months ago
- PLDB: a Programming Language DataBaseβ756Updated this week
- Programming language for literate programming law specificationβ2,047Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β629Updated 11 months ago
- Hazel, a live functional programming environment with typed holesβ909Updated this week
- A tree-sitter based AST difftool to get meaningful semantic diffsβ1,724Updated this week
- A highly experimental vi-inspired editor where you edit code, not text.β745Updated last month
- an efficient awk-like languageβ1,268Updated 7 months ago
- Algebraic effects for Rustβ610Updated 9 months ago
- tar creator+extractor in ~100 lines of prologβ261Updated 2 years ago
- A fast functional language based on two level type theoryβ389Updated 2 years ago
- A modern Prolog implementation written mostly in Rust.β2,178Updated 2 weeks ago
- Systems language with linear types and capability-based security.β1,225Updated this week
- A book about category theoryβ410Updated last week
- Layout is a rust library and a tool that renders Graphviz dot files.β686Updated 4 months ago
- a playground for making 3D art with lisp and mathβ480Updated 2 months ago
- Use Tree Sitter to parse your own languages in Rustβ636Updated last month
- A list of projectional and structural editorsβ372Updated 10 months ago
- A tree visualization tool written in Rustβ315Updated last year
- A programming language with static memory management based on Ξ»-calculusβ994Updated 2 weeks ago
- A safe, easy systems languageβ1,964Updated this week