Lists (1)
Starred repositories
42
results
for forked starred repositories
Clear filter
Zabrane / ymawky
Forked from imtomt/ymawkyMacOS Web Server written entirely in ARM64 assembly
myriadrf / srsRAN_4G
Forked from srsran/srsRAN_4GsrsRAN 4G fork with native LMS API support
bitedits / ps3sdk
Forked from ps3dev/PSL1GHTOpen source library for PS3 development.
bitedits / ps2sdk
Forked from ps2dev/ps2sdkOpen source library for PS2 development.
bitedits / ps3rsx
Forked from crystalct/RSXGLThe RSX Graphics Library for PS3.
frno7 / linux
Forked from torvalds/linuxLinux 2.2, 2.6, 3.x, 4.x and 5.x kernels for the PlayStation 2.
ulidtko / agda-pythagoras
Forked from ikedaisuke/PythagorasA proof of Pythagoras's theorem in Agda2 (from the original proof by Thierry Coquand)
1
Updated Mar 3, 2024
tinysun212 / swift-windows
Forked from swiftlang/swiftSwift compiler for Cygwin, MSVC, MinGW. Full development environment can be downloaded from the Swift for Windows.
TomHarte / dis68k
Forked from wrm-za/dis68kModernised version of W. de Waal's public domain 68000 disassembler.
mansr / sox
Forked from cbagwell/soxSoX, Swiss Army knife of sound processing
EuFlo / sacd-ripper
Forked from sacd-ripper/sacd-ripperSACD ripping software using a PS3
erpuno / smtp
Forked from gen-smtp/gen_smtp💠 SMTP: Поштовий сервер та клієнт
symsx / asMSX
Forked from Fubukimaru/asMSXAsMSX, originally developed by Pitpan. More info: https://www.msx.org/wiki/AsMSX.
nicolaikraus / HoTT-Agda
Forked from HoTT/HoTT-AgdaDevelopment of homotopy type theory in Agda
corellium / linux-m1
Forked from torvalds/linuxLinux kernel source tree
theNestruo / MetalGear
Forked from GuillianSeed/MetalGearFully annotated disassembly of the original Metal Gear game (MSX2, Konami, 1987, RC750)
angel-popov / mqtt-hs
Forked from dustin/mqtt-hsHaskell MQTT client.
Lean standard library
Modifications of Niles Johnson's Hopf Fibration drawing code
Saizan / cat
Forked from fredefox/catFormalizing Category Theory in Agda using Cubical Type Theory
nponeccop / cubicaltt
Forked from mortberg/cubicalttExperimental implementation of Cubical Type Theory
AlexanderKai / n2o
Forked from synrc/n2oWebSocket Application Server for Enterprises