Flake template for Haskell repository
☆38Oct 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:
- Haskell bindings to OpenAI☆37Mar 10, 2026Updated 2 months ago
- 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
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Dec 15, 2024Updated last year
- Repository of the Haskell Blog☆15May 4, 2026Updated 3 weeks 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.
- A git-worktree(1) manager☆43Nov 17, 2025Updated 6 months ago
- Koans to learn rhine☆13Updated this week
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- GHC plugin to add eventlog tracing for foreign function calls☆16Jan 14, 2025Updated last year
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated last year
- Infinite lists aka streams☆18Dec 19, 2025Updated 5 months ago
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- Applicative maps☆16Sep 29, 2024Updated last year
- GHC plugin for open telemetry☆27Jun 5, 2025Updated 11 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- a flake module to ease creating and managing multiple hosts in your nix flake.☆85May 11, 2026Updated last week
- The Geometric OptimizAtion Libraries☆19Mar 12, 2025Updated last year
- APIs for more recursive definitions☆19Oct 26, 2024Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆22Mar 22, 2022Updated 4 years ago
- Use `just` in your Nix devShells with re-usable and share-able targets.☆52Jun 5, 2024Updated last year
- An efficient finite map from (byte)strings to values.☆20May 1, 2025Updated last year
- PhD course on Functional Programming and Climate Impact Research☆54Updated this week
- A purely functional programming language based on higher-order polymorphic lambda calculus☆24Jan 14, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Golden tests with Hspec☆30Apr 10, 2026Updated last month
- Extend Cabal build-depends from the command line☆60Mar 9, 2026Updated 2 months ago
- L4 - Rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation,…☆33Apr 22, 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 pleasant PostgreSQL database layer for Haskell☆42Dec 15, 2025Updated 5 months ago
- A helpful AI assistant for Mercury engineers☆20Jan 9, 2026Updated 4 months ago
- Test interactive Haskell examples☆34Apr 24, 2026Updated last month
- Generic functions for single-sorted first-order structural unification☆45May 1, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Program which generates ASCII pictures of a kuu with a message [maintainers=@natsukium]☆11Oct 17, 2024Updated last year
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Sep 18, 2015Updated 10 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- LLM-powered typed-holes☆56May 2, 2025Updated last year
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 8 months ago
- A simple demo of Nixifying a multi-package Haskell project☆20Oct 24, 2025Updated 7 months ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆17Nov 17, 2025Updated 6 months ago