nota-lang / nota
A document language for the browser
☆704Updated 9 months ago
Alternatives and similar repositories for nota:
Users that are interested in nota are comparing it to the libraries listed below
- a tiny tile-based editor☆304Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,116Updated last month
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆615Updated 2 years ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆466Updated 11 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆633Updated last year
- A small extensible programming language designed for concise expression with little code.☆1,066Updated 7 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆823Updated last year
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.☆284Updated 4 years ago
- Data interchange with algebraic data types.☆613Updated last month
- A fast functional language based on two level type theory☆390Updated 2 years ago
- Hazel, a live functional programming environment with typed holes☆916Updated this week
- an efficient awk-like language☆1,267Updated 8 months ago
- A highly experimental vi-inspired editor where you edit code, not text.☆745Updated 2 months ago
- Datalog compiler embedded in Rust as a procedural macro☆471Updated last year
- Counterexamples in Type Systems☆396Updated last year
- Use Tree Sitter to parse your own languages in Rust☆640Updated 2 months ago
- A light markup language☆1,787Updated 2 months ago
- The Principia Rewrite☆218Updated 2 months ago
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,737Updated this week
- Metamath Zero specification language☆338Updated last week
- A functional, content-addressable programming language.☆427Updated last month
- A new, portable, regular expression language☆1,302Updated 4 months ago
- 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…☆470Updated 2 weeks ago
- A modern supercompiler for call-by-value functional languages☆407Updated last week
- Incremental computation through constrained memoization.☆498Updated 5 months ago
- Systems language with linear types and capability-based security.☆1,265Updated 2 weeks ago
- PLDB: a Programming Language DataBase☆758Updated this week
- homoiconic dynamic programming language with some new ideas☆536Updated this week
- a structured interaction engine 🗜️ ⚗️☆470Updated last year
- Proving leftpad correct two-dozen different ways☆669Updated this week