flupe / achille
A Haskell library for building incremental static site generators
☆14Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for achille
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆13Updated 4 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Invertible parsing for S-expressions☆33Updated last month
- Automatic type class law checking.☆24Updated 11 months ago
- A usable type system for call by push-value☆28Updated 4 years ago
- Persistent vectors for Haskell based on array mapped tries☆27Updated 2 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- ☆12Updated 4 years ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- ☆22Updated last year
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆31Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Agda-style equational reasoning in Haskell☆51Updated 5 months ago
- ☆19Updated 5 years ago
- GHC prof manipulation script☆30Updated 9 months ago
- A simple tool for visualising differences in Criterion benchmark results☆14Updated 4 years ago
- Linear map categories in Agda☆5Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Keep your laziness in check!☆32Updated 2 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Overloaded plugin☆31Updated 4 months ago
- Zippers for cofree types☆12Updated 2 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- Surgery for generic data types☆24Updated 3 years ago
- Lens interface for your filesystem☆22Updated 3 years ago