Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

gitlab.com topics: type theory

wjd/uf-agda_wjd

Notes based on Martin Escardo's 2019 MGS course on HoTT/UF in Agda

Last synced at: almost 3 years ago - Stars: 0 - Forks: 0

sio4/code/rdt-rvsdg

Resourceful Dependent Types enriched with inductive types; compiled to Regionalized Value State Dependence Graph enriched with Equality Saturation; accelerated by deriving optimizations from user defined equivalence proofs.

Last synced at: almost 3 years ago - Stars: 1 - Forks: 0

Related Keywords
type theory 2 Agda 1 univalent foundations 1 compiler 1 dependently typed lambda calculus 1 eqsat 1 equality saturation 1 linear types 1 optimizations 1 proofgen 1 regionalized value state dependence graph 1 resourceful dependent types 1 rvsdg 1