Awesome Open Source

Programming Languages

Search results for agda type theory

27 search results found

Agda is a dependently typed programming language / interactive theorem prover.

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

Cubical ⭐ 408

An experimental library for Cubical Agda

Homotopy Type Theory Course ⭐ 214

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

Typetopology ⭐ 207

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Hott Uf Agda Lecture Notes ⭐ 204

Lecture notes on univalent foundations of mathematics with Agda

Hott Intro ⭐ 169

An introductory course to Homotopy Type Theory

A SuperCompiler for Martin-Löf's Type Theory

Agda formalisation of the Introduction to Homotopy Type Theory

Towards changing things and see if it proofs

(WIP) Dependently-typed programming language with Agda style dependent pattern matching

Cart Cube ⭐ 49

Cartesian Cubical Type Theory

Observational Type Theory as an Agda library

Logrel Mltt ⭐ 40

A Logical Relation for Martin-Löf Type Theory in Agda

The multimode presheaf proof-assistant

Agda Algebras ⭐ 24

The Agda Universal Algebra Library (html docs available at the url below)

being a bidirectional reformulation of Martin-Löf's 1971 type theory

Type Theory with Indexed Equality

Initiality ⭐ 23

A formalized proof of a version of the initiality conjecture

Gen Cart ⭐ 23

A Unifying Cartesian Cubical Set Model

Tt In Cagda ⭐ 17

Simply typed lambda calculus in cubical agda

A categorical semantics library in Agda.

Preordertt ⭐ 10

Experiments with preordered set models of (directed) type theories

Inductive_types ⭐ 8

Constructing Simple and Mutual Inductive Types in Agda.

Awesome Agda Programming ⭐ 7

Awesome Agda Programming

Constructingii ⭐ 7

Constructing Inductive-Inductive types in Cubical Type Theory

Formalization of Mathematics using Type Theory of Agda Programming Language

Related Searches

Types Type Theory (84)

Types Agda (76)

Haskell Agda (72)

Coq Type Theory (31)

Haskell Type Theory (31)

Emacs Agda (29)

Calculus Agda (29)

Dependent Types Type Theory (28)

Agda Dependent Types (27)

1-27 of 27 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.