Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by effectfully

A curated list of projects in awesome lists by effectfully .

https://github.com/effectfully/inference-in-agda

A tutorial on how Agda infers things

agda

Last synced: 14 Oct 2025

https://github.com/effectfully/generic

A library for doing generic programming in Agda

Last synced: 16 Feb 2026

https://github.com/effectfully/stlc

Dependently typed Algorithm M and friends

Last synced: 19 Feb 2026

https://github.com/effectfully/prefolds

Composable monadic short-circuiting streaming folds

Last synced: 14 Oct 2025

https://github.com/effectfully/cubes

A dependently typed type checker for a TT with intervals

Last synced: 19 Feb 2026

https://github.com/effectfully/eff

Experiments with effect systems

Last synced: 17 Feb 2026

https://github.com/effectfully/blog

Last synced: 25 Feb 2026

https://github.com/effectfully/ecc

A shallow embedding of Luo's ECC into Agda.

Last synced: 16 Feb 2026

https://github.com/effectfully/categories

Some basic category theory

Last synced: 18 Feb 2026

https://github.com/effectfully/monad-var

Generic operations over variables

Last synced: 14 Oct 2025

https://github.com/effectfully/stub

Last synced: 14 Oct 2025

https://github.com/effectfully/agda-html-to-md

A tiny tool that takes output of `htmlize` and turns it into a markdown text consumable by `pandoc`

Last synced: 14 Oct 2025