A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
☆16Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Jun 9, 2024Updated 2 years ago
- tiny experimental language for limited environments (> 64KB flash, 4KB ram)☆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☆22Apr 24, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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☆12May 29, 2026Updated last week
- Experimental, recursively-embeddable, domain-specific editors and text editor☆81Oct 16, 2023Updated 2 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- ☆21Apr 15, 2018Updated 8 years ago
- A Lua interpreter written in python.☆14Sep 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- screenshot-driven version tracking☆26Jun 1, 2022Updated 4 years ago
- An editor for plain text where you can also seamlessly insert line drawings☆24Apr 1, 2026Updated 2 months ago
- Lua + Love2d port of the Uxn Virtual Machine☆19May 1, 2023Updated 3 years ago
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 6 years ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆11Apr 7, 2025Updated last year
- Draw or animate with a mouse in your terminal☆11Feb 25, 2023Updated 3 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 9 years ago
- ☆13Mar 30, 2026Updated 2 months ago
- Content-addressed identifiers in OCaml☆17Mar 23, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 2 years ago
- WASI Preview 1 implementation for moonbit☆13May 22, 2026Updated 2 weeks ago
- my dotfiles managed with stow, for macos, nvim, terminal and more☆26Updated this week
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 years ago
- GitHub action for use AutoCorrect as lint☆12Apr 9, 2025Updated last year
- The GRAphical Scheme Programming Environment☆50May 29, 2026Updated last week
- Reflect the essence of OCaml types as values☆14Mar 3, 2026Updated 3 months ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A terminal interface for your AI terminal assistant.☆19May 30, 2025Updated last year
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 6 months ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Feb 12, 2025Updated last year
- 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☆13Mar 17, 2023Updated 3 years ago
- Just a little toy language to learn about register-based VMs.☆22Aug 30, 2012Updated 13 years ago