Type Theory
☆39Jul 21, 2016Updated 10 years ago
Alternatives and similar repositories for type-theory
Users that are interested in type-theory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Sep 9, 2026Updated last week
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆21Nov 20, 2022Updated 3 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- Formal Semantics for Why3☆21Jul 15, 2026Updated 2 months ago
- ☆11Oct 20, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆21Nov 8, 2021Updated 4 years ago
- ☆13Apr 13, 2026Updated 5 months ago
- An introduction to theorem proving in Lean for the impatient.☆19Apr 6, 2025Updated last year
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 7 years ago
- The Hitchhiker's Guide to Logical Verification (2026 edition) and associated materials☆52Jan 30, 2026Updated 7 months ago
- Experiments with higher-order abstract syntax in Agda☆23Jul 14, 2022Updated 4 years ago
- Frechet inception distance (FID) evaluation in JAX☆14May 28, 2024Updated 2 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Types and Programming Languages☆37Aug 11, 2014Updated 12 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This is the implementation of CounterCurate, the data curation pipeline of both physical and semantic counterfactual image-caption pairs.☆19Jun 27, 2024Updated 2 years ago
- Literals for Zarith's arbitrary-precision integers and rationals☆13Aug 18, 2022Updated 4 years ago
- cli tool to find older versions of a given file in your zfs snapshots.☆14Mar 12, 2023Updated 3 years ago
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- Simple parsing and deserialization of SGML for Rust☆11Dec 8, 2022Updated 3 years ago
- ☆13Jun 5, 2024Updated 2 years ago
- Lean4 Code Editor☆19Aug 18, 2026Updated last month
- ☆11Dec 12, 2021Updated 4 years ago
- An experimental implementation of bitsliced aes in pure python. Quite possibly the fastest pure-python AES implementation on the planet.☆19Mar 22, 2022Updated 4 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.
- ☆16May 28, 2026Updated 3 months ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- ☆18Apr 24, 2024Updated 2 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆24Mar 27, 2025Updated last year
- A self-contained repository for the paper Type and Scope Preserving Semantics☆23Feb 2, 2019Updated 7 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Mar 25, 2013Updated 13 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Sep 10, 2026Updated last week
- ☆35Oct 1, 2024Updated last year
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- 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.
- Solution to Algebra, Chapter 0☆104Dec 17, 2025Updated 9 months ago
- ☆12Sep 4, 2025Updated last year
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆35Nov 30, 2022Updated 3 years ago
- DirectWrite bindings and wrapper for Rust☆14Feb 13, 2026Updated 7 months ago
- being the introduction to co-de-Bruijn metasyntax☆23Apr 29, 2022Updated 4 years ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆12Feb 20, 2024Updated 2 years ago
- An implementation of Bose-Chaudhuri-Hocquenghem codes and error-checking in Go.☆19Jul 6, 2020Updated 6 years ago