The Next Generation of Compositional Programming
β56Apr 17, 2026Updated 3 months ago
Alternatives and similar repositories for CP-next
Users that are interested in CP-next are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π Chenβs Private Cuisine Menuβ10Jan 4, 2026Updated 7 months ago
- Theorem Proving in Emacsβ12Aug 18, 2025Updated 11 months ago
- π¦ Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontendβ¦β156Jun 22, 2025Updated last year
- Library for Classical Coqβ42Jan 20, 2026Updated 6 months ago
- A simple supercompiler formally verified in Agdaβ34Mar 17, 2017Updated 9 years 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.
- Mechanized baselines for various type system featuresβ19Apr 14, 2026Updated 3 months ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC neededβ10Jun 8, 2017Updated 9 years ago
- Code from CS152 lecturesβ14Apr 13, 2026Updated 3 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.β141Jun 24, 2026Updated last month
- An interpreter for Janus, the reversible programming language.β15Jun 7, 2020Updated 6 years ago
- Simple implementation of ST LC type checker in Haskellβ13Apr 18, 2022Updated 4 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.β11Apr 3, 2026Updated 4 months ago
- β17Apr 4, 2024Updated 2 years ago
- Tiny dependent calculus with inference of irrelevance and erasureβ15Jan 17, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)β17Dec 30, 2023Updated 2 years ago
- A formalization of System FΟ in Agdaβ20Dec 23, 2025Updated 7 months ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memoryβ17Aug 22, 2024Updated last year
- A Toy Inverse Bidirectional Typecheckerβ33May 13, 2019Updated 7 years ago
- The Penn Locally Nameless Metatheory Libraryβ77Mar 26, 2025Updated last year
- Machine-checked Agda formalization for the ILC projectβ15Apr 6, 2018Updated 8 years ago
- Sift through Haskell code for analysis purposesβ18Jul 24, 2018Updated 8 years ago
- Closure calculus implementationβ12Jun 25, 2019Updated 7 years ago
- π² A Kotlin DSL for probabilistic programming.β13Apr 8, 2022Updated 4 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.
- A minimal example of the Idris C FFIβ14May 15, 2015Updated 11 years ago
- Distributed Protocol Combinatorsβ14Apr 11, 2021Updated 5 years ago
- A online playground to explore with type Inference algorithms.β18Jan 28, 2026Updated 6 months ago
- Deprecatedβ37May 17, 2026Updated 2 months ago
- Interactive holes for Lean 4β22Apr 19, 2024Updated 2 years ago
- PolyRPC, A multi-tier functional programming languageβ20Oct 4, 2022Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.siβ¦β16May 22, 2024Updated 2 years ago
- Notes (and implementation) of unification with bindersβ17Feb 10, 2026Updated 6 months ago
- Materials for OPLSS 2021β11Jun 1, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- typesafe implementation of tensor algebra in Haskellβ13Feb 27, 2021Updated 5 years ago
- SPSC: A Small Positive Supercompilerβ41Feb 12, 2026Updated 5 months ago
- https://metaborg.github.io/mj.agda/β13Oct 14, 2020Updated 5 years ago
- An OCaml framework for building reactive web applications with server-side rendering (SSR), inspired by SolidJSβ23Mar 6, 2026Updated 5 months ago
- Benchmarks for capture-avoiding substitutionβ126May 30, 2025Updated last year
- CIS 6700, Spring 2023β19Feb 15, 2023Updated 3 years ago
- Coq utility and tactic library.β27Dec 9, 2023Updated 2 years ago