Gandalf- / coreutils
Unix core utilities implemented in Haskell
☆287Updated 2 weeks 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 7 months ago
- tar creator+extractor in ~100 lines of prolog☆261Updated 2 years ago
- A functional, content-addressable programming language.☆425Updated last month
- k/simple is a bare minimum k interpreter for learning purposes by arthur whitney☆374Updated 6 months ago
- a challenge for Haskell beginners☆452Updated last year
- Haskell implemented with combinators☆458Updated this week
- A x86_64 Linux debugger 🐛🐛🐛☆233Updated last year
- A modern supercompiler for call-by-value functional languages☆404Updated last week
- An experiment in hermetic, reproducible build systems☆327Updated this week
- A fast functional language based on two level type theory☆389Updated 2 years ago
- dt - duct tape for your unix pipes☆438Updated 8 months ago
- An ngn/k tutorial.☆200Updated 9 months ago
- A portable self-bootstrapping C compiler☆134Updated this week
- ☆89Updated 5 months ago
- Transductive regular expressions☆238Updated last month
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆248Updated last week
- A Lisp interpreter written fully in rust macros.☆276Updated 6 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆77Updated 3 weeks ago
- The Haskell Optimization Handbook☆176Updated 2 weeks ago
- The standalone Linux Lisp☆314Updated 3 months ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- an adaptable text editor☆540Updated 2 weeks ago
- the origins of J☆62Updated last year
- Programming with pure lambda calculus☆104Updated 2 weeks ago
- Make Project Oberon Pretty Again☆192Updated last year
- ☆82Updated last month
- Solving the first 100 Project Euler problems using 100 different programming languages!☆237Updated 2 months ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆466Updated 11 months ago
- A CI server written in Simple Haskell.☆190Updated 3 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆168Updated 3 years ago