All Projects → gallais → potpourri

gallais / potpourri

Licence: GPL-3.0 license
Where my everyday research happens

Programming Languages

Agda
84 projects
TeX
3793 projects
Idris
72 projects
haskell
3896 projects
ocaml
1615 projects
Coq
218 projects

potpourri

Where everyday research happens. Read at your own risks.

History

This is mostly what used to go on my patch-tag repositories because all of these half-baked, half-thought ideas needed not be exposed. Now that patch-tag is shutting down, I have decided to move the salvageable things over here.

I would like to use this opportunity to express a lot of gratitude towards Thomas Hartman who built up and maintained patch-tag for quite a few years thus providing us with a free and easy to use hosting solution.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].