kneasle / sapling
A highly experimental vi-inspired editor where you edit code, not text.
☆745Updated 2 months ago
Alternatives and similar repositories for sapling:
Users that are interested in sapling are comparing it to the libraries listed below
- A utf8 text rope for manipulating and editing large texts.☆1,451Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,116Updated 3 weeks ago
- A small extensible programming language designed for concise expression with little code.☆1,066Updated 7 months ago
- Use Tree Sitter to parse your own languages in Rust☆640Updated last month
- simple and opinionated modal code editor for your terminal☆366Updated last year
- Compiler for the Vale programming language - http://vale.dev/☆1,865Updated 11 months ago
- A simple, expressive, embeddable programming language☆723Updated this week
- A fancy diagnostics & error reporting crate☆1,911Updated last month
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,976Updated 4 months ago
- an adaptable text editor☆543Updated this week
- An embedded scheme interpreter in Rust☆1,647Updated this week
- Beautiful diagnostic reporting for text-based programming languages.☆1,156Updated 3 weeks ago
- A very fast linker for Linux☆1,954Updated this week
- 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…☆467Updated last week
- Algebraic effects for Rust☆611Updated 9 months ago
- Hush is a unix shell based on the Lua programming language☆663Updated 11 months ago
- helix gpui frontend☆486Updated 10 months ago
- Source code for the Mun language and runtime.☆1,968Updated this week
- A modern text editor for the terminal written in Rust☆1,545Updated 2 months ago
- A language for building concurrent software with confidence☆1,147Updated this week
- A precise specification for "Rust lite / MIR plus"☆842Updated this week
- Introducing Inlyne, a GPU powered yet browserless tool to help you quickly view markdown files in the blink of an eye.☆1,157Updated this week
- ☆365Updated this week
- A functional, content-addressable programming language.☆427Updated last month
- ☆1,011Updated 2 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆823Updated last year
- An embeddable dynamic programming language for Rust.☆1,893Updated 2 weeks ago
- Refinement Types for Rust☆719Updated this week
- A safe, easy systems language☆1,973Updated this week
- Systems language with linear types and capability-based security.☆1,256Updated last week