hazelgrove / tylr
a tiny tile-based editor
☆275Updated this week
Related projects: ⓘ
- A list of projectional and structural editors☆332Updated 3 months ago
- Hazel, a live functional programming environment with typed holes☆744Updated this week
- A fast functional language based on two level type theory☆388Updated last year
- The cuteness implementation of a dependently typed language.☆188Updated last year
- a datalog interpreter in typescript☆199Updated 2 months ago
- A graphical interactive proof assistant designed for education☆162Updated 2 weeks ago
- Pointless: a scripting language for learning and fun☆121Updated 3 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆77Updated 11 months ago
- A typed, polyglot, functional language☆193Updated last month
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆200Updated 7 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆127Updated this week
- ☆96Updated 2 years ago
- An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer languag…☆130Updated 4 months ago
- A compiler for Standard ML, somewhat☆199Updated 2 years ago
- Inpla: Interaction nets as a programming language (the current version)☆273Updated last week
- Simple shell like scripting from Haskell☆267Updated last month
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆205Updated this week
- A small, weird and unpractical programming language.☆102Updated this week
- a structured interaction engine 🗜️ ⚗️☆450Updated 7 months ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆366Updated this week
- My personal repository of formally verified mathematics.☆290Updated 3 months ago
- Dependent type checker using normalisation by evaluation☆251Updated 2 weeks ago
- tar creator+extractor in ~100 lines of prolog☆255Updated last year
- Counterexamples in Type Systems☆372Updated last year
- Crochet: A tool for creating and remixing interactive experiences, safely.☆125Updated 8 months ago
- A language server for Standard ML.☆207Updated 2 weeks ago
- The Haskell Optimization Handbook☆171Updated 3 weeks ago
- Catalog of visual lambda calculi☆87Updated last year
- Haskell implemented with combinators☆325Updated this week