isovector/cccc external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

isovector/cccc

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/isovector/cccc)

Close

isovector / ccccView on GitHubMore

• External links
• Readme badge

🖼️ the compiling to closed categories compiler

☆66Apr 17, 2018Updated 8 years ago

Alternatives and similar repositories for cccc

Users that are interested in cccc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• LightAndLight / parametricity-proofs

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• deepfire / nh

  View on GitHub
  Manage Nix Haskell override sets
  ☆11Sep 30, 2018Updated 7 years ago
• ChrisPenner / conway

  View on GitHub
  Conway's game of life in 100 lines or less!
  ☆35Aug 10, 2017Updated 8 years ago
• mrkgnao / pico

  View on GitHub
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆15Feb 15, 2018Updated 8 years ago
• hurryabit / pukeko

  View on GitHub
  A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"
  ☆25Jun 9, 2024Updated 2 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• isovector / prospect

  View on GitHub
  static analysis of free monads
  ☆24Jul 10, 2018Updated 7 years ago
• puffnfresh / leftpad.hs

  View on GitHub
  Verified left pad
  ☆19Apr 14, 2018Updated 8 years ago
• compiling-to-categories / concat

  View on GitHub
  Compiling to Categories
  ☆460Feb 28, 2024Updated 2 years ago
• cedille / cedille-developments

  View on GitHub
  A showcase of interesting code and proof developments in Cedille
  ☆36Jun 10, 2025Updated last year
• system-f / papa

  View on GitHub
  Reasonable Haskell default import
  ☆27Mar 13, 2026Updated 3 months ago
• haskell-mafia / mismi

  View on GitHub
  Haskell library for AWS
  ☆22Oct 14, 2019Updated 6 years ago
• atennapel / coc-os

  View on GitHub
  "operating system" based on the calculus of constructions
  ☆18Jun 22, 2022Updated 4 years ago
• jneira / wai-servlet

  View on GitHub
  Library to integrate eta wai applications with servlet api
  ☆18Jan 9, 2019Updated 7 years ago
• Lysxia / generic-recursion-schemes

  View on GitHub
  Folds for recursive types with GHC Generics
  ☆28Apr 13, 2026Updated 2 months ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• achirkin / constraints-deriving

  View on GitHub
  Programmatically create new instances using core-to-core plugins
  ☆11Mar 24, 2021Updated 5 years ago
• robrix / path

  View on GitHub
  A lambda calculus to explore type-directed program synthesis.
  ☆85Jan 20, 2020Updated 6 years ago
• tfausak / grawlix

  View on GitHub
  Comment on Haskell documentation.
  ☆13Mar 13, 2019Updated 7 years ago
• k0001 / di

  View on GitHub
  Easy and powerful typeful logging without monad towers, in Haskell.
  ☆26May 7, 2024Updated 2 years ago
• ekmett / coda

  View on GitHub
  A language experiment -- irc.freenode.net ##coda
  ☆161Apr 10, 2024Updated 2 years ago
• jdreaver / amy

  View on GitHub
  Strict Haskell-like programming language that compiles to LLVM
  ☆71Oct 31, 2019Updated 6 years ago
• nachivpn / nbe-course

  View on GitHub
  NbE course @ Chalmers
  ☆28Sep 24, 2024Updated last year
• awakesecurity / language-ninja

  View on GitHub
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Feb 6, 2018Updated 8 years ago
• evertedsphere / sound-and-complete

  View on GitHub
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Jan 3, 2018Updated 8 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• sweirich / tal

  View on GitHub
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆150Sep 30, 2021Updated 4 years ago
• jyp / sctt

  View on GitHub
  Type-Theory in Sequent Calculus
  ☆14Jul 30, 2015Updated 10 years ago
• haskell-suite / haskell-tc

  View on GitHub
  Haskell typechecker
  ☆39May 7, 2019Updated 7 years ago
• rampion / conkin

  View on GitHub
  Tools for functors from Hask^k to Hask
  ☆23Aug 25, 2019Updated 6 years ago
• nomeata / veggies

  View on GitHub
  Hopefully verifiable code generation in GHC
  ☆94May 10, 2017Updated 9 years ago
• RyanGlScott / eliminators

  View on GitHub
  Dependently typed elimination functions using singletons
  ☆27Jan 11, 2026Updated 5 months ago
• sellout / dualizer

  View on GitHub
  Delete half (minus ε) of your Haskell code!
  ☆30May 24, 2026Updated last month
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 9 years ago
• GaloisInc / golang

  View on GitHub
  Parser and type analysis for the Go programming language
  ☆12Apr 3, 2026Updated 2 months ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run 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.
• gergoerdi / generic-syntax

  View on GitHub
  Library implementation of "Generic description of well-scoped, well-typed syntaxes"
  ☆12Mar 25, 2018Updated 8 years ago
• glaebhoerl / simplecompiler

  View on GitHub
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Jan 14, 2019Updated 7 years ago
• ocharles / assert-explainer

  View on GitHub
  Py.test style assertions in Haskell
  ☆67Jun 16, 2018Updated 8 years ago
• nobrakal / tungsten

  View on GitHub
  Bring fusion to everyone
  ☆14Feb 6, 2020Updated 6 years ago
• BekaValentine / SimpleFP-v2

  View on GitHub
  A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
  ☆109Jun 2, 2017Updated 9 years ago
• freckle / graphula

  View on GitHub
  A simple interface for generating persistent data and linking its dependencies
  ☆48Jun 19, 2026Updated last week
• bgamari / play-type-search

  View on GitHub
  A hack to find types in Haskell codebases
  ☆10Aug 15, 2015Updated 10 years ago