gallais/potpourri

Where my everyday research happens

Agda

1,280 commits

updated Jul 28, 2026

See the code

README

potpourri

Where everyday research happens. Unmaintained code. Read at your own risks.

Contributors

gallais

1,279 commits

pigworker

1 commits

Similar repos

DAJ8112/explore

Repo for various things I keep trying and exploring

LaurentMazare/random-things

offlinefirst/research

Links, feedback, comments, resources, anything pertaining to offline first research.

371

MaulingMonkey/notes

Dumping ground of public notes / journaling

FiloSottile/mostly-harmless

A bag of various unrelated projects with varying levels of serviceability and destructiveness.

319

dterei/Research-Papers

Collection of various research papers I find interesting

jimmyhmiller/PlayGround

A place to goof around with code.

kengonakajima/snippets

Languages

Agda

43.6%

TeX

35.3%

Idris

11.7%

Haskell

6.4%

BibTeX Style

1.6%

gallais/potpourri

Where my everyday research happens

Agda

1,280 commits

updated Jul 28, 2026

See the code

README

potpourri

Where everyday research happens. Unmaintained code. Read at your own risks.

Similar repos

DAJ8112/explore

Repo for various things I keep trying and exploring

LaurentMazare/random-things

offlinefirst/research

Links, feedback, comments, resources, anything pertaining to offline first research.

371

MaulingMonkey/notes

Dumping ground of public notes / journaling

FiloSottile/mostly-harmless

A bag of various unrelated projects with varying levels of serviceability and destructiveness.

319

dterei/Research-Papers

Collection of various research papers I find interesting

jimmyhmiller/PlayGround

A place to goof around with code.

kengonakajima/snippets

Contributors

gallais

1,279 commits

pigworker

1 commits

Languages

Agda

43.6%

TeX

35.3%

Idris

11.7%

Haskell

6.4%

BibTeX Style

1.6%