Rattlehead15 / CorrelativasLinks
Árbol de Correlativas de LCC
☆10Updated 3 years ago
Alternatives and similar repositories for Correlativas
Users that are interested in Correlativas are comparing it to the libraries listed below
Sorting:
- Repositorio de la optativa para la FCEIA☆16Updated 4 months ago
- x86 C compiler written in untyped lambda calculus☆666Updated 2 years ago
- HoTTEST Summer School materials☆311Updated 2 months ago
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- papers of Per Martin Löf☆799Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆393Updated this week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆303Updated last year
- Minimal implementations for dependent type checking and elaboration☆730Updated 2 weeks ago
- An introduction to programming language theory in Agda☆1,451Updated 2 weeks ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆362Updated 2 weeks ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆348Updated 3 weeks ago
- While language static analyzer☆10Updated 4 years ago
- Mathematical Components☆637Updated last week
- A garden of small programming language implementations 🪴☆279Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆526Updated 3 months ago
- ☆233Updated last year
- The agda-unimath library☆261Updated last week
- A new Categories library for Agda☆385Updated this week
- Spartan type theory☆269Updated last week
- ☆161Updated 10 years ago
- A demo implementation of a simple dependently-typed language☆610Updated 9 months ago
- An interpreter for learning and exploring pure λ-calculus☆464Updated 4 years ago
- An introductory course to Homotopy Type Theory☆372Updated 5 years ago
- A gently curated list of companies using verification formal methods in industry☆566Updated 6 months ago
- A series of down-to-earth articles on implementing type inference☆159Updated 5 years ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆460Updated 3 weeks ago
- Haskell implemented with combinators☆581Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆267Updated last week
- Resources for learning Category Theory for an enthusiast☆635Updated 2 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago