shachaf / mustardwatch
Detect what files a program uses and rerun it when they change
☆29Updated 2 years ago
Alternatives and similar repositories for mustardwatch:
Users that are interested in mustardwatch are comparing it to the libraries listed below
- Column-oriented binary format for immutable datasets☆9Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated 4 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- ☆11Updated 3 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆54Updated 6 months ago
- Get intellisense for Haskell in Kakoune via ghci☆14Updated 6 years ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- Library for invertible parsing and printing☆31Updated 8 months ago
- A library for benign effects in Haskell☆20Updated last week
- ☆53Updated 4 years ago
- Command line editor, C api, readline replacement☆25Updated last month
- A nano "theorem prover".☆61Updated 6 years ago
- Generate NetHack configurations using Dhall☆36Updated 3 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago
- An epoll-based HTTP library for ATS2☆14Updated 2 years ago
- optimize your home bar with ✨logic programming✨☆77Updated 3 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Updated last year
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Absal ex☆56Updated last year
- Hash-based Diffing for AST's☆76Updated 4 years ago
- ☆35Updated 6 years ago
- Stroll: an experimental build system☆40Updated last year
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated last month
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- NanoVG Haskell bindings☆22Updated last year