Flake template for Haskell repository
☆39Oct 1, 2024Updated last year
Alternatives and similar repositories for haskell-flake
Users that are interested in haskell-flake are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆29Nov 11, 2025Updated 9 months ago
- Haskell bindings to OpenAI☆40Aug 25, 2026Updated last week
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- a collection of various algorithms written using recursion schemes☆24Jan 2, 2022Updated 4 years ago
- Repository of the Haskell Blog☆19Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Dec 15, 2024Updated last year
- Dependency graph viewer CLI tool☆15Mar 2, 2026Updated 6 months ago
- Koans to learn rhine☆14Updated this week
- GHC plugin to add eventlog tracing for foreign function calls☆16Jan 14, 2025Updated last year
- GHC plugin for hlint☆12Oct 4, 2023Updated 2 years ago
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated last year
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- Infinite lists aka streams☆18Aug 18, 2026Updated 2 weeks ago
- GHC plugin for open telemetry☆27Jul 22, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Applicative maps☆16Sep 29, 2024Updated last year
- Glasgow Haskell Compiler running in your browser☆21Nov 1, 2025Updated 10 months ago
- a flake module to ease creating and managing multiple hosts in your nix flake.☆82May 17, 2026Updated 3 months ago
- Naive implementation of Profunctor Optics in Nix☆19Jan 23, 2026Updated 7 months ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- APIs for more recursive definitions☆19Oct 26, 2024Updated last year
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆22Mar 22, 2022Updated 4 years ago
- The Geometric OptimizAtion Libraries☆20Mar 12, 2025Updated last year
- Use `just` in your Nix devShells with re-usable and share-able targets.☆55Jun 5, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An efficient finite map from (byte)strings to values.☆20May 1, 2025Updated last year
- PhD course on Functional Programming and Climate Impact Research☆54May 25, 2026Updated 3 months ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆24Jan 14, 2024Updated 2 years ago
- Golden tests with Hspec☆30Apr 10, 2026Updated 4 months ago
- Extend Cabal build-depends from the command line☆61Jul 20, 2026Updated last month
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- Are you SATySFi-ed with Nix?☆14Mar 6, 2023Updated 3 years ago
- A git-worktree(1) manager☆44Nov 17, 2025Updated 9 months ago
- A pleasant PostgreSQL database layer for Haskell☆42May 24, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Test interactive Haskell examples☆34Apr 24, 2026Updated 4 months ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Generic functions for single-sorted first-order structural unification☆45May 1, 2026Updated 4 months ago
- Program which generates ASCII pictures of a kuu with a message [maintainers=@natsukium]☆11Oct 17, 2024Updated last year
- LLM-powered typed-holes☆57May 2, 2025Updated last year
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 years ago