nota-lang / notaLinks
A document language for the browser
☆707Updated 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☆305Updated 3 weeks ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆829Updated last year
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆622Updated 2 years ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆654Updated 2 months ago
- A highly experimental vi-inspired editor where you edit code, not text.☆752Updated 6 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,140Updated 5 months ago
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.☆288Updated 4 years ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆480Updated last year
- Data interchange with algebraic data types.☆627Updated last month
- PLDB: a Programming Language DataBase☆772Updated 2 months ago
- Hazel, a live functional programming environment with typed holes☆1,016Updated this week
- A small extensible programming language designed for concise expression with little code.☆1,076Updated 11 months ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,155Updated 2 weeks ago
- A light markup language☆1,827Updated 3 weeks ago
- A functional, content-addressable programming language.☆443Updated 3 weeks ago
- Proving leftpad correct two-dozen different ways☆688Updated 4 months ago
- Programming language for literate programming law specification☆2,094Updated last week
- Systems language with linear types and capability-based security.☆1,376Updated last month
- Use Tree Sitter to parse your own languages in Rust☆663Updated 2 months ago
- Counterexamples in Type Systems☆402Updated 2 years ago
- Incremental computation through constrained memoization.☆532Updated last month
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A list of projectional and structural editors☆386Updated 4 months ago
- Hush is a unix shell based on the Lua programming language☆674Updated last year
- A book about category theory☆422Updated last week
- Welcome to the future of programming languages: OK?☆576Updated 4 months ago
- ☆1,009Updated 2 years ago
- The Principia Rewrite☆224Updated 7 months ago
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆422Updated this week