The Next Generation of Compositional Programming
☆56Apr 17, 2026Updated 6 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:
- 🦖 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
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 9 months ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated last year
- JReduce is a tool to reduce Java ByteCode☆13Oct 12, 2021Updated 5 years ago
- Library for Classical Coq☆42Jan 20, 2026Updated 9 months 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 simple supercompiler formally verified in Agda☆34Mar 17, 2017Updated 9 years ago
- The artifact of the paper "Recursive Subtyping for All"☆10Apr 29, 2024Updated 2 years ago
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- CIS 6700, Spring 2023☆19Feb 15, 2023Updated 3 years ago
- Mechanized baselines for various type system features☆19Apr 14, 2026Updated 6 months ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- Building A Correct-By-Construction Proof Checkers For Type Theories☆37Aug 5, 2026Updated 2 months ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A library of mechanised undecidability proofs in the Coq proof assistant.☆144Jun 24, 2026Updated 4 months ago
- A online playground to explore with type Inference algorithms.☆18Jan 28, 2026Updated 9 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆229Updated this week
- Code from CS152 lectures☆14Apr 13, 2026Updated 6 months ago
- Relaxed Rust (for cats)☆14Nov 20, 2019Updated 6 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- Rerun previous test suite runs to run only failing tests☆14Sep 28, 2026Updated last month
- An interpreter for Janus, the reversible programming language.☆15Jun 7, 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.
- Two-Level Type Theory☆31Dec 13, 2019Updated 6 years ago
- Neural-Network Guided Expression Transformation☆13Apr 15, 2018Updated 8 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆58Apr 15, 2021Updated 5 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated 2 years ago
- ❄️ All Configurations for My Laptop☆23Updated this week
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Jul 4, 2013Updated 13 years ago
- Compile Time RapidJSON: A compile time C++ header only JSON library without bloating yet another hand-crafted JSON parser based on RapidJ…☆14Jun 29, 2020Updated 6 years ago
- THU compiler principle course homework, written in rust. (this is not the pa framework)☆13Dec 24, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- PL conference deadline countdowns☆65Aug 30, 2026Updated 2 months ago
- ☆22Oct 19, 2026Updated last week
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆31Updated this week
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 8 years ago
- A simple scala-like dependent type programming language☆23Apr 18, 2025Updated last year
- Experiments with modal types☆16Oct 20, 2020Updated 6 years ago