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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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.☆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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- screenshot-driven version tracking☆25Jun 1, 2022Updated 3 years ago
- An editor for plain text where you can also seamlessly insert line drawings☆24Apr 1, 2026Updated last week
- 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☆24Updated this week
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆12Apr 7, 2025Updated last year
- 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
- ☆13Mar 30, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 3 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 2 months ago
- 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 last year
- The GRAphical Scheme Programming Environment☆50Updated this week
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- Reflect the essence of OCaml types as values☆14Mar 3, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated 2 months ago
- A terminal interface for your AI terminal assistant.☆19May 30, 2025Updated 10 months ago
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 4 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