Gandalf- / coreutils
Unix core utilities implemented in Haskell
☆287Updated 3 months ago
Alternatives and similar repositories for coreutils:
Users that are interested in coreutils are comparing it to the libraries listed below
- Simple shell like scripting from Haskell☆286Updated 6 months ago
- a challenge for Haskell beginners☆451Updated last year
- Haskell implemented with combinators☆433Updated this week
- tar creator+extractor in ~100 lines of prolog☆260Updated 2 years ago
- An experiment in hermetic, reproducible build systems☆324Updated this week
- A modern supercompiler for call-by-value functional languages☆402Updated last month
- A x86_64 Linux debugger 🐛🐛🐛☆234Updated last year
- ☆89Updated 4 months ago
- A git implementation in awk☆796Updated 3 years ago
- An ngn/k tutorial.☆200Updated 8 months ago
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆236Updated this week
- A functional, content-addressable programming language.☆416Updated this week
- Infinitely configurable integrated IDE and text editor☆125Updated 4 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated last month
- Solving the first 100 Project Euler problems using 100 different programming languages!☆235Updated last month
- The Haskell Optimization Handbook☆174Updated this week
- k/simple is a bare minimum k interpreter for learning purposes by arthur whitney☆354Updated 5 months ago
- A portable self-bootstrapping C compiler☆133Updated last week
- A fast functional language based on two level type theory☆389Updated 2 years ago
- an adaptable text editor☆536Updated this week
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆466Updated 10 months ago
- an experimental new programming language based on interaction nets☆212Updated this week
- Shrinkray is a modern multi-format test-case reducer☆229Updated 2 months ago
- ☆44Updated 3 weeks ago
- A data-driven micro web framework for Haskell☆104Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆163Updated 3 years ago