Cluster 633613

5 repos

Agda · 4

Haskell · 1

dependent-types ·3,321

programming-language ·3,321

proof-assistant ·2,928

type-theory ·2,928

agda ·2,928

lambda-calculus ·393

dependent-intersections ·393

Related clusters

agda/agda

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

Haskell

2,928

22,161 commits

agda/agda2hs

Compiling Agda code to readable Haskell

Agda

210

728 commits

cedille/cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda…

Agda

393

809 commits

UlfNorell/agda-prelude

Programming library for Agda

Agda

136

720 commits

maxsnew/grammars-and-semantic-actions

Intrinsic Verification of Formal Grammar Theory

Agda

438 commits