A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
☆17Dec 8, 2023Updated 2 years ago
Alternatives and similar repositories for dilim
Users that are interested in dilim are comparing it to the libraries listed below
Sorting:
- ☆16Jun 9, 2024Updated last year
- tiny experimental language for limited environments☆17Mar 8, 2023Updated 3 years ago
- A collaborative structural editor for structured rich document with VIM-like keybindings☆18Dec 5, 2019Updated 6 years ago
- An implementation of a simple Neural network in Idris using category theory.☆25Sep 18, 2024Updated last year
- A template for you to implement Hazelnut yourself☆22Jul 15, 2025Updated 8 months ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated last year
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Oct 16, 2023Updated 2 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- ☆21Apr 15, 2018Updated 7 years ago
- A Lua interpreter written in python.☆13Sep 26, 2019Updated 6 years ago
- ☆17Mar 7, 2023Updated 3 years ago
- Simple Refinement types for F#. No longer maintained.☆11Jun 22, 2019Updated 6 years ago
- An experiment with structured editing. in scratchpad state (not cleaned up)☆23Jan 5, 2023Updated 3 years ago
- screenshot-driven version tracking☆25Jun 1, 2022Updated 3 years ago
- An editor for plain text where you can also seamlessly insert line drawings☆24Jan 7, 2026Updated 2 months ago
- Lua + Love2d port of the Uxn Virtual Machine☆18May 1, 2023Updated 2 years ago
- my dotfiles managed with stow, for macos, nvim, terminal and more☆24Mar 13, 2026Updated last week
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆12Apr 7, 2025Updated 11 months ago
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 6 years ago
- Draw or animate with a mouse in your terminal☆10Feb 25, 2023Updated 3 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- ☆13Jan 30, 2026Updated last month
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 2 years ago
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 2 years ago
- WASI Preview 1 implementation for moonbit☆12Jan 30, 2026Updated last month
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 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
- GitHub action for use AutoCorrect as lint☆13Apr 9, 2025Updated 11 months ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- The GRAphical Scheme Programming Environment☆50Dec 11, 2025Updated 3 months ago
- Reflect the essence of OCaml types as values☆14Mar 3, 2026Updated 2 weeks ago
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated last month
- A terminal interface for your AI terminal assistant.☆19May 30, 2025Updated 9 months ago
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 3 months ago
- Awesome Virtual Machines (VMs) and Language Runtimes (awesome from Computer Science perspective)☆19Mar 11, 2020Updated 6 years ago
- 🍏 A music player app in the style of old iOS (mostly versions 4, 5 & 6).☆14Mar 21, 2023Updated 3 years ago
- playing with gpt4☆14Mar 17, 2023Updated 3 years ago
- Just a little toy language to learn about register-based VMs.☆22Aug 30, 2012Updated 13 years ago