Updated 2024-08-21 21:41:23 +00:00
NintenHero/PixelJunk-Extractor
A tool to extract the assets from PixelJunk Shooter.
Updated 2024-08-18 15:29:25 +00:00
NintenHero/Linkrealms-Extractor
Extracts the resources from Linkrealms idx/pak files.
Updated 2024-08-14 19:47:11 +00:00
Mirror of https://github.com/leanprover/lean2 in case it ever disappears
Updated 2024-08-09 09:21:44 +00:00
Mirror of https://github.com/cmu-phil/Spectral in case it ever disappears
Updated 2024-08-07 03:39:17 +00:00
Updated 2024-08-02 15:35:56 +00:00
Updated 2024-08-01 02:50:12 +00:00
Updated 2024-06-30 18:25:50 +00:00
Flexible mind map database
Updated 2024-06-28 00:23:43 +00:00
Updated 2024-06-27 21:24:53 +00:00
Updated 2024-06-27 16:06:54 +00:00
Updated 2024-06-19 18:52:44 +00:00
Updated 2024-06-16 04:31:04 +00:00
NintenHero/Fateless-Extractor
A tool to extract from the game Fateless.
Updated 2024-06-09 18:51:42 +00:00
Formal Reasoning About Programs
Updated 2024-06-06 11:52:32 +00:00
Updated 2024-06-05 15:16:36 +00:00
NintenHero/ACotGK-seng-Extractor
Written for The Accursed Crown of the Giant King. Use it to extract from "module.seng" or "uiwin32.seng".
Updated 2024-06-02 14:56:07 +00:00
NintenHero/Chaos-Heroes-Online-Extractor
A tool to extract from the game Chaos Heroes Online.
Updated 2024-06-01 21:20:09 +00:00