Repositories

NameDescriptionOwnerLast commit
ld50Source for our LD50 game 2022-04-11 09:23
shellGit shell for sbi.re 2021-11-19 13:36
stagitCustom fork of stagit for sbi.re 2021-11-20 20:25
tubeAlternative frontend for youtube 2021-07-19 17:27
wikiWiki for sbi.re 2022-03-25 15:51
~ismael
pngpltePlay with PNG format 2021-12-12 15:57
siteSource for sbi.re/~ismael 2021-12-12 16:36
~lucas
aoc2021Advent of Code 2021 2021-12-07 12:18
brain2022-01-20 22:46
cachilleachille but better 2021-11-23 22:56
cryptofartLittle goof on crypto art 2021-04-30 01:19
dotfilesConfig files 2021-12-03 12:02
kaguExperimental lang 2022-01-04 19:43
siteSource for acatalepsie.fr 2021-03-18 16:24
slodTiny local webserver with live-reload 2021-12-06 20:21
tildeSource for sbi.re/~lucas 2021-12-03 00:02
mmark2021-11-10 18:18
~peio
ogs-agda[thèse] des tests de sémantique des jeux opérationelle en agda 2021-12-09 08:02