Formalisation of Goedel's System T in Coq
☆15Jul 1, 2011Updated 15 years ago
Alternatives and similar repositories for System-T
Users that are interested in System-T are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tutorial on how to write OCaml tactics for the Coq proof assistant☆23Nov 23, 2016Updated 9 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 9 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.☆16Aug 4, 2011Updated 15 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆48Mar 3, 2026Updated 6 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- MessagePack for OCaml/Coq☆15Feb 24, 2013Updated 13 years ago
- A Twisted-based TFTP implementation☆16Feb 12, 2019Updated 7 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Simple visualized cetz editor☆12Jun 22, 2026Updated 3 months ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34May 27, 2017Updated 9 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 10 years ago
- Search GitHub repositories☆16Apr 19, 2018Updated 8 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Finite sets, finite maps, multisets and generic sets☆50Jul 17, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Homotopy type theory☆14Sep 21, 2022Updated 4 years ago
- Example Coq plugin☆18Mar 23, 2018Updated 8 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆75May 10, 2019Updated 7 years ago
- A Tutorial for Ur/Web☆28Oct 7, 2015Updated 10 years ago
- Constraint solver based on abstract interpretation☆11Dec 20, 2024Updated last year
- Drafts, notes and resources for adding linear typing to GHC.☆79May 29, 2020Updated 6 years ago
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 9 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Do things in the browser from Emacs, namely update the stylesheet (but maybe more later)☆27Jan 26, 2014Updated 12 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆52May 23, 2026Updated 3 months ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆73Sep 4, 2026Updated 2 weeks ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- Programming in Haskell (2nd ed) by Graham Hutton☆13Dec 4, 2024Updated last year
- Simple Refinement types for F#. No longer maintained.☆11Jun 22, 2019Updated 7 years ago
- being the materials for Summer 2013's course☆114Apr 25, 2023Updated 3 years ago
- Rocq plugin embedding Elpi☆194Updated this week
- 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.
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆17Dec 8, 2023Updated 2 years ago
- Work in progress☆41Jun 7, 2025Updated last year
- Implementation of Nuprl's type theory in Coq☆47Jul 28, 2026Updated last month
- ☆11Nov 27, 2024Updated last year
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Oct 25, 2022Updated 3 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago