kneasle / sapling
A highly experimental vi-inspired editor where you edit code, not text.
☆741Updated 11 months ago
Alternatives and similar repositories for sapling:
Users that are interested in sapling are comparing it to the libraries listed below
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,103Updated last year
- A small extensible programming language designed for concise expression with little code.☆1,062Updated 4 months ago
- Use Tree Sitter to parse your own languages in Rust☆624Updated 2 months ago
- A utf8 text rope for manipulating and editing large texts.☆1,309Updated last week
- simple and opinionated modal code editor for your terminal☆369Updated last year
- An embedded scheme interpreter in Rust☆1,414Updated this week
- an adaptable text editor☆496Updated this week
- Systems language with linear types and capability-based security.☆1,152Updated 6 months ago
- Compiler for the Vale programming language - http://vale.dev/☆1,816Updated 8 months ago
- A language for building concurrent software with confidence☆928Updated this week
- A safe, easy systems language☆1,923Updated this week
- ☆604Updated this week
- A fancy diagnostics & error reporting crate☆1,834Updated 2 months ago
- ☆322Updated this week
- Algebraic effects for Rust☆604Updated 6 months ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,116Updated 6 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆811Updated 9 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…☆445Updated 9 months ago
- helix gpui frontend☆471Updated 7 months ago
- Fine-grained parallelism with sub-nanosecond overhead in Zig☆775Updated 3 months ago
- A precise specification for "Rust lite / MIR plus"☆829Updated this week
- A simple, expressive, embeddable programming language☆565Updated this week
- Write expressive, high-performance parsers with ease.☆3,729Updated 2 weeks ago
- Source code for the Mun language and runtime.☆1,928Updated this week
- Layout is a rust library and a tool that renders Graphviz dot files.☆672Updated 2 months ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,923Updated last month
- Hush is a unix shell based on the Lua programming language☆660Updated 7 months ago
- Data interchange with algebraic data types.☆607Updated last week
- an efficient awk-like language☆1,260Updated 5 months ago
- A Lisp interpreter written fully in rust macros.☆273Updated 4 months ago