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☆15Updated 5 months ago
- papers of Per Martin Löf☆800Updated last year
- x86 C compiler written in untyped lambda calculus☆668Updated 2 years ago
- An introduction to programming language theory in Agda☆1,454Updated 2 weeks ago
- HoTTEST Summer School materials☆311Updated 3 months ago
- A Coq library for Homotopy Type Theory☆1,341Updated this week
- Minimal implementations for dependent type checking and elaboration☆733Updated last month
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- Material para Matemática Discreta☆10Updated 9 years ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,350Updated 5 months ago
- ☆22Updated last year
- Mathematical Components☆649Updated this week
- An interpreter for learning and exploring pure λ-calculus☆466Updated 4 years ago
- A demo implementation of a simple dependently-typed language☆611Updated 10 months ago
- Resources for learning Category Theory for an enthusiast☆637Updated 2 years ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆362Updated last month
- English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano☆34Updated 3 years ago
- Haskell MOOC University of Helsinki☆396Updated 4 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆306Updated last year
- Demo for high-performance type theory elaboration☆567Updated last year
- Spartan type theory☆271Updated last week
- The CompCert formally-verified C compiler☆2,029Updated 2 weeks ago
- A new Categories library for Agda☆387Updated last week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆396Updated this week
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,087Updated 3 weeks ago
- Notes for first year Computing at Imperial College London☆53Updated 3 years ago
- A systems theorem prover☆11Updated last year
- An axiom-free formalization of category theory in Coq for personal study and practical work☆785Updated 2 weeks ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆350Updated 3 weeks ago
- A Gameboy/Color Emulator and API written in C++