All Projects → Agda → Similar Projects or Alternatives

64 Open source projects that are alternatives of or similar to Agda

A Super Kawaii Dependently Typed Programming Language

Stars: ✭ 154 (-90.94%)

Mutual labels: type-theory

A selection of formal proofs in Coq.

Stars: ✭ 135 (-92.05%)

Mutual labels: type-theory

List of resources about foundational knowledge for programmers (supposed to last a few decades)

Stars: ✭ 115 (-93.23%)

Mutual labels: type-theory

A modern proof language

Stars: ✭ 2,075 (+22.13%)

Mutual labels: type-theory

61-64 of 64 similar projects