A template for you to implement Hazelnut yourself
☆24Apr 24, 2026Updated 6 months ago
Alternatives and similar repositories for diy-hazelnut
Users that are interested in diy-hazelnut are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hazel, a live functional programming environment with typed holes☆1,176Updated this week
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆17Dec 8, 2023Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Mar 12, 2021Updated 5 years ago
- a tiny tile-based editor☆331Nov 24, 2025Updated 11 months ago
- The Turbo Haskell IDE☆38Oct 17, 2026Updated 3 weeks ago
- 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.
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- 🎞 Animate from one string to another.☆12Apr 30, 2022Updated 4 years ago
- everything is an image☆20Dec 23, 2022Updated 3 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Feb 1, 2022Updated 4 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 4 years ago
- A Unicode library for OCaml☆18Aug 13, 2026Updated 2 months ago
- Tools for record-and-replay debugging☆45Mar 9, 2023Updated 3 years ago
- Source code accompanying "Latent Effects for Reusable Language Components"☆15Aug 24, 2021Updated 5 years ago
- ☆14Sep 9, 2026Updated last month
- 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.
- User Interfaces for Programming Languages: The Compendium☆29Feb 14, 2021Updated 5 years ago
- An infinite canvas implementation in <500 LOC.☆28Apr 28, 2024Updated 2 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆22Updated this week
- Common Lisp package for simple two dimensional computational geometry.☆11May 29, 2016Updated 10 years ago
- ☆15Aug 19, 2026Updated 2 months ago
- ☆20Mar 14, 2021Updated 5 years ago
- A pretty-printing combinator library for OCaml☆49Aug 7, 2024Updated 2 years ago
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Jun 21, 2024Updated 2 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.
- a proof-of-concept programming language based on call-by-push-value☆71Oct 30, 2026Updated last week
- The Yatima Standard Library☆20Dec 13, 2023Updated 2 years ago
- A deterministic parser with fused lexing☆79Jul 1, 2023Updated 3 years ago
- A compiler for the gradually typed lambda calculus☆78Nov 4, 2021Updated 5 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆51Mar 9, 2025Updated last year
- ☆19Aug 15, 2024Updated 2 years ago
- tiny experimental language for limited environments (> 64KB flash, 4KB ram)☆17Mar 8, 2023Updated 3 years ago
- a structured interaction engine 🗜️ ⚗️☆509Jan 27, 2024Updated 2 years ago
- ☆11Jan 11, 2019Updated 7 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.
- Property-based testing for OCaml, built on Hypothesis☆25Oct 25, 2026Updated last week
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆30Sep 4, 2017Updated 9 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 4 years ago
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆28Updated this week
- GitHub action for use AutoCorrect as lint☆12Apr 9, 2025Updated last year
- ☆17Mar 7, 2023Updated 3 years ago
- Direct-style parser combinator library for OCaml 5☆58Oct 29, 2026Updated last week