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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interpret Haskell programs into any cartesian closed category.☆70Oct 26, 2026Updated last week
- Derive KnownNat constraints from other KnownNat constraints☆14Sep 19, 2026Updated last month
- ☆15Apr 9, 2026Updated 6 months ago
- Polynomial functors (a.k.a. containers) in Haskell☆12Aug 22, 2026Updated 2 months ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆23Apr 3, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Declarative, applicative, idempotent, self-tested infrastructure☆11Jun 24, 2022Updated 4 years ago
- Normalise GHC.TypeLits.Nat equations☆45Sep 19, 2026Updated last month
- Automatic type class law checking.☆24May 2, 2026Updated 6 months ago
- Existential type.☆37May 10, 2026Updated 5 months ago
- Tasty meal of Dhall☆67Aug 16, 2023Updated 3 years ago
- Linearizability Hoare Logic☆18Sep 16, 2026Updated last month
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated 10 months ago
- ☆18Mar 24, 2021Updated 5 years ago
- A sample application for getting started quickly☆14Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Nix Skeleton Hasktorch project made for easy cloning and forking☆16Jun 11, 2025Updated last year
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- Agda to C compiler☆11Sep 23, 2025Updated last year
- Haskell URI parsing as ByteStrings☆38Oct 2, 2026Updated last month
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- A modern Haskell debugger☆31May 1, 2025Updated last year
- ☆13Oct 2, 2018Updated 8 years ago
- A verified compiler for a lazy functional language☆47Oct 3, 2026Updated last month
- 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.
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated 2 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 3 years ago
- Inspecting tool for GHC compilation pipeline☆35Sep 17, 2025Updated last year
- A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code na…☆26Oct 13, 2026Updated 3 weeks ago
- Haskell bindings to the GDAL library☆13Jul 26, 2024Updated 2 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆20Oct 9, 2026Updated 3 weeks ago
- 🍜 Convert HTML markdown into miso View syntax☆14May 20, 2026Updated 5 months ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 7 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Jun 23, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- PostgreSQL SQL syntax utilities☆16Aug 25, 2026Updated 2 months ago
- Access unicode character database☆18Sep 16, 2026Updated last month
- A definition and reference implementation for MRA in PureScript.☆18Aug 11, 2017Updated 9 years ago
- Nat, Fin, Vec☆28May 10, 2026Updated 5 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆42Apr 20, 2026Updated 6 months ago
- 📺 The power of Haskell in your terminal!☆48Jun 9, 2026Updated 4 months ago
- Single Page Web Applications in Idris☆29Apr 22, 2026Updated 6 months ago