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 6 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β41Jan 20, 2026Updated 6 months ago
- A simple supercompiler formally verified in Agdaβ34Mar 17, 2017Updated 9 years 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.
- 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.β139Jun 24, 2026Updated 3 weeks ago
- 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
- β17Apr 4, 2024Updated 2 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.β11Apr 3, 2026Updated 3 months ago
- Tiny dependent calculus with inference of irrelevance and erasureβ15Jan 17, 2020Updated 6 years 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.
- Machine-checked Agda formalization for the ILC projectβ15Apr 6, 2018Updated 8 years ago
- 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 6 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
- Closure calculus implementationβ12Jun 25, 2019Updated 7 years ago
- Sift through Haskell code for analysis purposesβ18Jul 24, 2018Updated 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 5 months ago
- Deprecatedβ38May 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
- typesafe implementation of tensor algebra in Haskellβ13Feb 27, 2021Updated 5 years ago
- Materials for OPLSS 2021β11Jun 1, 2021Updated 5 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
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Notes (and implementation) of unification with bindersβ17Feb 10, 2026Updated 5 months ago
- SPSC: A Small Positive Supercompilerβ41Feb 12, 2026Updated 5 months ago
- Benchmarks for capture-avoiding substitutionβ125May 30, 2025Updated last year
- 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 4 months ago
- CIS 6700, Spring 2023β19Feb 15, 2023Updated 3 years ago
- Implementatoin of Selinger's Typed Quantum Lambda Calculusβ13Oct 29, 2019Updated 6 years ago