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☆23Apr 24, 2026Updated 2 months ago
- 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.
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- A stb-style single-header cross-platform windowing library for software rendered applications☆16Updated this week
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated last month
- Experimental, recursively-embeddable, domain-specific editors and text editor☆83Oct 16, 2023Updated 2 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 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 7 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☆27Jun 1, 2022Updated 4 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 5 months ago
- Lua + Love2d port of the Uxn Virtual Machine☆19May 1, 2023Updated 3 years ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆11Apr 7, 2025Updated last year
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 6 years ago
- ☆13Mar 30, 2026Updated 3 months ago
- Content-addressed identifiers in OCaml☆17Mar 23, 2023Updated 3 years ago
- WASI Preview 1 implementation for moonbit☆14May 22, 2026Updated last month
- GitHub action for use AutoCorrect as lint☆12Apr 9, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Reflect the essence of OCaml types as values☆14Mar 3, 2026Updated 4 months ago
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 3 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 7 years ago
- The GRAphical Scheme Programming Environment☆49Jun 23, 2026Updated 3 weeks ago
- Draw or animate with a mouse in your terminal☆11Feb 25, 2023Updated 3 years ago
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated 5 months ago
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 7 months ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆49Feb 12, 2025Updated last year
- Awesome Virtual Machines (VMs) and Language Runtimes (awesome from Computer Science perspective)☆19Mar 11, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- A terminal text editor written in MoonBit☆10Apr 7, 2025Updated last year
- Just a little toy language to learn about register-based VMs.☆22Aug 30, 2012Updated 13 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- A Unicode library for OCaml☆16Apr 19, 2026Updated 3 months ago
- playing with gpt4☆13Mar 17, 2023Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Oct 1, 2025Updated 9 months ago