shachaf / mustardwatchLinks
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
Sorting:
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- Command line editor, C api, readline replacement☆25Updated 5 months ago
- ☆11Updated 3 years ago
- Recursion schemes in ATS☆9Updated 3 years ago
- BDD-based implementation of Datalog☆37Updated 4 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 4 months ago
- Exampwe of ewwonyenyonyuns code:☆15Updated 5 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆57Updated 9 months ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- Stroll: an experimental build system☆40Updated 2 years ago
- ☆35Updated 6 years ago
- Get intellisense for Haskell in Kakoune via ghci☆14Updated 6 years ago
- Absal ex☆57Updated last year
- ALGT 2.0☆30Updated 5 years ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- ☆23Updated 13 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- ☆54Updated 4 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- Library for invertible parsing and printing☆32Updated last year
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 11 months ago