Paradoxes in Set Theory and Type Theory
☆12Jul 24, 2024Updated 2 years ago
Alternatives and similar repositories for paradoxes
Users that are interested in paradoxes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆38Mar 17, 2025Updated last year
- compiler libraries repackaged☆21Jan 4, 2024Updated 2 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- A framework for natural language syntax and semantics based on type theory.☆14Feb 28, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆34Oct 22, 2024Updated 2 years ago
- Probabilistic Functional Logic Programming☆16Mar 27, 2025Updated last year
- ☆12Jun 13, 2023Updated 3 years ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated last year
- Стиль CSL для библиографии по ГОСТ☆10Mar 16, 2017Updated 9 years ago
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- Argumentative microtexts annotated with RST, SDRT and argumentation structure☆13Jun 19, 2016Updated 10 years ago
- The Elm programming language in the Spoofax language workbench☆10Jul 10, 2015Updated 11 years ago
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- ETC☆15Aug 27, 2021Updated 5 years ago
- define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set☆14Oct 16, 2026Updated 3 weeks ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated 2 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 11 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 5 years ago
- ☆13Oct 29, 2026Updated last week
- Animated code & data structures with LaTeX/beamer☆14Feb 7, 2020Updated 6 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.
- Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala☆14May 6, 2019Updated 7 years ago
- Instapaper API wrapper for iOS and Mac OS☆17Feb 21, 2011Updated 15 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- The snake game.☆17Sep 20, 2015Updated 11 years ago
- MixML prototype interpreter☆28Dec 13, 2019Updated 6 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- Specification of Agda.☆25Jan 13, 2019Updated 7 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated 2 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 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.
- ☆17Oct 8, 2014Updated 12 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- Arthur's Formal Metatheory in Coq☆23Feb 6, 2026Updated 9 months ago
- A small profunctor library for idris☆17Nov 3, 2022Updated 4 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 11 years ago