A text editor with an sort-of-unusual undo/redo algorithm
☆225Feb 23, 2025Updated last year
Alternatives and similar repositories for klonk
Users that are interested in klonk are comparing it to the libraries listed below
Sorting:
- Dealing with Flags and Options☆13Sep 10, 2021Updated 4 years ago
- The Divine Companions Monorepo☆16Feb 28, 2026Updated last week
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Jan 31, 2016Updated 10 years ago
- small programming language. pls be gentle.☆39Feb 3, 2026Updated last month
- ☆21Jul 16, 2025Updated 7 months ago
- # A simple variable binding library based on well-scoped indices and environments☆29Oct 15, 2025Updated 4 months ago
- posts and code related to personal studies☆370Jan 21, 2026Updated last month
- Responsive, animated figures in JavaScript/HTML canvases☆138Updated this week
- Cargo dephell analyzes the third-party dependencies of a Rust workspace☆48May 12, 2023Updated 2 years ago
- A subset of BouncyCastle crypto primitives, refactored to use DirectByteBuffer.☆31Mar 31, 2024Updated last year
- fast unique variables☆10Aug 23, 2025Updated 6 months ago
- a sharable language☆15Jan 20, 2025Updated last year
- The Titan programming language.☆12Apr 16, 2024Updated last year
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- Chess but no grid☆450Oct 27, 2023Updated 2 years ago
- A lisp dialect based on pattern matching and term rewriting☆85Oct 12, 2024Updated last year
- Formalizing nbe in agda☆32Nov 22, 2012Updated 13 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Feb 12, 2025Updated last year
- xstate-to-gherkin is a library and cli tool to generate Gherkin test scripts from an xstate statechart.☆26Sep 29, 2022Updated 3 years ago
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- A tiny static site generator, greatly inspired by Zola.☆14Aug 8, 2022Updated 3 years ago
- An analytics-free email subscription platform.☆12Apr 11, 2023Updated 2 years ago
- Experimental strongly typed state machine library.☆16Nov 21, 2023Updated 2 years ago
- Use awk to provide cut like syntax for field extraction☆17Jul 8, 2021Updated 4 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- The Sources for Pharo☆10Feb 16, 2026Updated 3 weeks ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- ☆12Jul 8, 2019Updated 6 years ago
- ☆21Apr 15, 2018Updated 7 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- purple garden is a lean scripting language designed for performance, with aggressive optimisations, JIT compilation, fine-grained memory …☆38Updated this week
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 3 years ago
- Learning Finite State Machine Models from Data with a Genetic Algorithm☆11Dec 1, 2025Updated 3 months ago
- React Native package for EMM managed configurations☆17Jan 11, 2026Updated last month
- Compiler for a small stack-based imperative language, targeting the Piet language.☆14Updated this week
- A tiny wiki engine. (Fossil Export)☆13Jul 29, 2023Updated 2 years ago