Data

Tools

Indexes

Applications

Experiments

Open Source Science

Updated 6 months ago

cubical • Rank 11.2 • Science 85%

An experimental library for Cubical Agda

Updated 6 months ago

agda • Rank 21.2 • Science 62%

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

Updated 6 months ago

vehicle-lang • Rank 15.1 • Science 64%

A toolkit for enforcing logical specifications on neural networks

Updated 6 months ago

agda-stdlib-0.9 • Rank 14.7 • Science 62%

The Agda standard library

Updated 6 months ago

2-groups-agda • Science 44%

A mechanized study of coherent 2-groups

Updated 6 months ago

1lab • Science 44%

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Updated 6 months ago

agda-algebras • Science 67%

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

Updated 5 months ago

https://github.com/akiomik/plfa-solutions • Science 13%

Solutions for PLFA (Programming Language Foundations in Agda) exercise