benediktahrens / CT4PView external linksLinks
☆36Jan 8, 2026Updated last month
Alternatives and similar repositories for CT4P
Users that are interested in CT4P are comparing it to the libraries listed below
Sorting:
- Formal semantics in Agda.☆16Jul 2, 2015Updated 10 years ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 9 years ago
- ☆15Aug 3, 2025Updated 6 months ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated last week
- being the emperor of Mongo, but also a verb☆15Dec 25, 2018Updated 7 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 7 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆57Mar 21, 2024Updated last year
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Jul 10, 2015Updated 10 years ago
- A certified semantics for relational programming workout.☆26Oct 15, 2020Updated 5 years ago
- ☆26Feb 7, 2017Updated 9 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55May 16, 2022Updated 3 years ago
- ☆11Nov 13, 2024Updated last year
- ☆31Apr 17, 2023Updated 2 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- Course on Metaprogramming☆75Feb 5, 2026Updated last week
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated last month
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆27Sep 30, 2024Updated last year
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆132Jul 17, 2025Updated 6 months ago
- Docker image for nix [maintainer=@zimbatm] [status=deprecated]☆37May 19, 2020Updated 5 years ago
- ☆48Jan 30, 2026Updated 2 weeks ago
- A fun, easy-to-read, open-source math textbook☆26Apr 1, 2016Updated 9 years ago
- SPLV20 course notes☆114Nov 19, 2022Updated 3 years ago
- A tool for constructing accurate machine learning force fields in moir\'e systems☆13Feb 5, 2026Updated last week
- A simple implementation of linear type theory☆39Apr 21, 2017Updated 8 years ago
- oleg modules☆32Feb 20, 2013Updated 12 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Mar 5, 2022Updated 3 years ago
- ☆35Aug 10, 2025Updated 6 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Feb 1, 2024Updated 2 years ago
- 十分钟魔法练习 in OCaml☆36Mar 31, 2022Updated 3 years ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- ☆13Jul 22, 2022Updated 3 years ago
- This is a cross platform C++ project to compute and maintain spectral sequences based on sqlite3 databases and the algorithms on Groebner…☆10Jan 30, 2026Updated 2 weeks ago
- [TPAMI 2022] Disentangling Light Fields for Super-Resolution and Disparity Estimation☆13Apr 2, 2024Updated last year
- A generalized ESPRIT algorithm for MATLAB☆15Jan 28, 2021Updated 5 years ago
- being a particular fragment of Haskell, extended to a proof system☆43Dec 2, 2025Updated 2 months ago
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago