☆36Jan 8, 2026Updated 2 months ago
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 7 months ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21May 22, 2019Updated 6 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated last month
- 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
- 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
- ☆26Feb 7, 2017Updated 9 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55May 16, 2022Updated 3 years ago
- A certified semantics for relational programming workout.☆26Oct 15, 2020Updated 5 years ago
- ☆32Apr 17, 2023Updated 2 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- Course on Metaprogramming☆76Feb 5, 2026Updated last month
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated 2 months ago
- 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☆132Mar 3, 2026Updated last week
- ☆36Mar 12, 2025Updated 11 months ago
- A fun, easy-to-read, open-source math textbook☆26Apr 1, 2016Updated 9 years ago
- SPLV20 course notes☆115Nov 19, 2022Updated 3 years ago
- ☆11May 31, 2025Updated 9 months ago
- ☆51Jan 30, 2026Updated last month
- oleg modules☆32Feb 20, 2013Updated 13 years ago
- A simple implementation of linear type theory☆39Apr 21, 2017Updated 8 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Mar 5, 2022Updated 4 years ago
- ☆35Aug 10, 2025Updated 7 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Feb 1, 2024Updated 2 years ago
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 4 months ago
- ☆13Jul 22, 2022Updated 3 years ago
- A generalized ESPRIT algorithm for MATLAB☆15Jan 28, 2021Updated 5 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 last month
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆21Jan 11, 2026Updated last month
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆42Apr 14, 2021Updated 4 years ago
- Coq plugin embedding elpi☆185Updated this week
- A Google Chrome extension to open/edit latex files online using www.overleaf.com without the need of any software to be installed.☆10Dec 16, 2016Updated 9 years ago