Filter
Sort
C library for GameCube and Wii targeting devkitPPC.
Updated 2026年07月13日 22:58:22 +02:00
A modular Common Lisp game engine
Updated 2026年07月13日 15:07:43 +02:00
grunfink/snac2
A simple, minimalistic ActivityPub instance written in portable C
Updated 2026年07月12日 20:15:27 +02:00
A garden of small programming language implementations 🪴
Updated 2026年07月12日 18:29:22 +02:00
A WIP gamecube/wii/wii-u emulator
Updated 2026年07月12日 18:05:35 +02:00
A Nintendo DS emulator
Updated 2026年07月10日 01:01:03 +02:00
Polyglot Death Stranding demake
Updated 2026年07月04日 09:56:04 +02:00
1lab/mikan
Mikan is a proof assistant for cubical type theory.
Updated 2026年07月03日 16:17:18 +02:00
dannypsnl/violet
The violet programming language
Updated 2026年06月30日 05:46:15 +02:00
grangelouis/zap
A package to draw advanced electronic circuits in Typst
Updated 2026年06月27日 14:56:08 +02:00
A list of open-source projects that reject AI-generated code
Updated 2026年06月22日 23:01:32 +02:00
A library for playing with variants of linear/non-linear languages internally in Haskell.
Updated 2026年06月20日 13:56:16 +02:00
just enough glue on top of KVM to get a VM with one CPU set up to execute `x86_{64,32,16}` instructions.
Updated 2026年05月25日 00:31:25 +02:00
Windows 9x subsystem for Linux
Updated 2026年05月06日 12:33:37 +02:00
apropos/typst-prooflists
A Typst package to typeset Gentzen-style proof trees in a succinct nested list notation.
Updated 2026年05月02日 01:41:27 +02:00