Slides from talks that I give
Haskell
298
85 commits
updated Jun 23, 2023
81 commits
1 commits
jaspervdj/talks
Slides & demos for talks I do
59
soupi/rfc
My slides and compilation of resources.
159
LibreTranslate/presentations
2
aistrate/Articles
Various interesting articles, in PDF or PS form
243
anton-trunov/coq-lecture-notes
Coq Lecture Notes (WIP)
56
kengonakajima/snippets
25
chuspeeism/dashi-ppt-skill
An AI-agent skill that generates browser-editable presentations from multiple visual themes,…
8,603
AdamEmpyrean/Portfolio
Moje vývojové portfolio
0
50.4%
HTML
31.9%
Nix
16.6%
