Haskell to C compiler via Categorifier
☆39Dec 15, 2023Updated 2 years ago
Alternatives and similar repositories for categorifier-c
Users that are interested in categorifier-c are comparing it to the libraries listed below
Sorting:
- Interpret Haskell programs into any cartesian closed category.☆69Feb 12, 2026Updated 2 weeks ago
- Derive KnownNat constraints from other KnownNat constraints☆14Feb 10, 2026Updated 2 weeks ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated 2 months ago
- Existential type.☆37Feb 11, 2026Updated 2 weeks ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Dec 27, 2025Updated 2 months ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Apr 3, 2024Updated last year
- Library for building stateful property tests using the proptest crate☆26Oct 7, 2025Updated 4 months ago
- Automatic type class law checking.☆24Dec 19, 2025Updated 2 months ago
- Normalise GHC.TypeLits.Nat equations☆43Updated this week
- Haskell data types and functions for countries☆28Mar 7, 2025Updated 11 months ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- transform literate source code to Markdown☆14Dec 19, 2025Updated 2 months ago
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- A Setup.hs shim for running doctests☆31Jan 6, 2026Updated last month
- Hedgehog will eat your typeclass bugs☆57Jun 3, 2025Updated 8 months ago
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Dec 12, 2025Updated 2 months ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 4 years ago
- Types for ldtk☆16Apr 13, 2024Updated last year
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 3 weeks ago
- A curated list of awesome Haskell tutorial modules☆13Nov 9, 2025Updated 3 months ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- (DEPRECATED, migrated to main repo - hasktorch/hasktorch) Research code generation / FFI binding using libtorch 1.x for the next Hasktor…☆11Sep 13, 2019Updated 6 years ago
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- A modern Haskell debugger☆31May 1, 2025Updated 10 months ago
- Fast Haskell RPC☆30Jan 14, 2026Updated last month
- Ormolu GitHub action☆32Nov 26, 2025Updated 3 months ago
- Haskell Cabal RPM packaging tool☆26Feb 19, 2026Updated last week
- ☆13Oct 2, 2018Updated 7 years ago
- Haskell: Monorepo for our open source packages☆17Oct 7, 2017Updated 8 years ago
- Projects to get started with Clash☆32Jan 14, 2026Updated last month
- 🔖 Better Haskell documentation.☆17Sep 11, 2020Updated 5 years ago
- A fast Haskell library for parsing ByteStrings☆10Nov 19, 2021Updated 4 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Jun 25, 2020Updated 5 years ago
- A GHC plugin and library for analysing GHC Core☆54Feb 4, 2025Updated last year
- Automatic piecewise-mutable references for your types☆42Jul 10, 2020Updated 5 years ago
- ☆15Aug 3, 2025Updated 6 months ago