UlfNorell

agda-prelude

Programming library for Agda

insane

Toy typechecker for Insanely Dependent Types

agda-summer-school

Summer school on programming in Agda

x86-agda

Inline, type safe X86-64 assembly programming in Agda

agda-bench

Benchmarking tool for compile-time performance of Agda programs

quasi-quote

Quasi-quoting library for agda

category-theory-experiments

curves

Haskell library for drawing pretty pictures

effects

Porting the Idris Effects library to Agda

aim23-talk

agda-cufp

CUFP tutorial 2014

agda-logo

agda-tactics

categories

Categories parametrized by morphism equality, in Agda

version

Utility program for version switching

agda-nofib

Benchmark programs for Agda

agda-readline

Bindings to editline

me-em

Model Examples, Example Models

agda

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

agda-criterion

Agda bindings to the Criterion benchmark library

agda-stdlib

The Agda standard library

agda-test

Agda test

github-action-playground

Gradualizer

Primes

Prime number generator in Agda

purescript-thermite-example

An example application using PureScript's Thermite on top of React.

row-types

A Haskell library for open records and variants using closed type families and type literals

sc2-proto

Protobuf bindings to the StarCraft 2 API

schmitty

Agda bindings to SMT-LIB2 compatible solvers.

statem-laws

Using quickspec on stateful code