Results for “verified”
Sort: most relevant · newest · most stars (projects)
Looking for something to build, or checking nobody built it yet? Describe the idea and Amigadex finds the closest projects by meaning, not only by these words.
News 0
- No news matches.
Projects 177 see all →
-
shorekeeper/vexec-riscv github
OpenComputers II formally verified NT-like kernel using Verus spec with IOCTL, DPC, IRQL, PatchGuard, objects behind handles, message ports, HAL, no kernel allocations. Uses Amiga Exec basic model. Verus's...
-
geekychris/netstack-amigaos4 github
Work-in-progress port of the NetBSD rump kernel network stack to AmigaOS 4.1 — a modern replacement for Roadshow/AmiTCP. OSAL primitives verified on OS4; librump.a builds; targets a compatible bsdsocket.library shim...
-
tmm22/platoon-macos github
Native macOS source port of Ocean's Platoon (Amiga, 1988): the original 68000 code translated to Swift, verified tick-by-tick against the original. Bring your own disk image.
-
Mini vMac 36.04 native AmigaOS 68k port — RTG, AHI, ASL, 68060, shared HFS folder bridge
-
alpine9000/adf-tools github
Simple Amiga tools for reading and writing adf files to and from real disks
-
Amiga Stunt Car Racer track reverse-engineering toolkit for native resources, protected-disk evidence, editor interchange, and mesh export.
-
ElyanLabsAI/amigatools github
AmigaTools by Elyan Labs: modern apps for classic 68k AmigaOS. Gemini browser, Mastodon and Nostr clients, an MCP server, a Claude client, Lua, the narrator voice, and the Boing Ball. Native C, cross-compiled for m68k.
-
Shared infrastructure contracts and deployment foundations for the AmiGuard ecosystem.
Community web 438 see all →
-
iKod.se - Amiga T.O.S.E.C
https://tosec.ikod.se/
…CSL Fixed: Hacked: Modified: Trained: Pirated: Overdump: Virus: Underdump: Alternated: Unknown: Translated: Baddump: Verified: 1 of 2 'Allo 'Allo Cartoon Fun! Publisher: Alternative Software Extra: Extension: .adf Date…
-
AmigaSource.com - NEWS & INFORMATION
https://amigasource.com/action_categories.php?cat_id=2
…ACP Date Verified: pending The biggest Polish Amiga news site and amiga stuff trade board. Archive.org link: ACP Amig@club Author: Amig@club Date Verified: pending Dutch…
-
AmigaSource.com - OTHER OS
https://amigasource.com/action_categories.php?cat_id=38
…n/a Date Verified: pending Amiga's OS 3.5 FTP site Archive.org link: Amiga 3.5 FTP site Amiga Active Author: Subscriptions Date Verified: pending Amiga…
-
AmigaSource.com - CLASSIFIEDS & AUCTIONS
https://amigasource.com/action_categories.php?cat_id=22
…Amiga Super Bit Date Verified: pending Amiga Hardware and software dealer. Located in Lorca, Murcia. Archive.org link: Amiga Super Bit AMIGA UTILS Author: AMIGA UTILS Date Verified…
-
AmigaSource.com - HARDWARE
https://amigasource.com/action_categories.php?cat_id=5
…Amiga CD32 Zone Date Verified: pending A VERY good site with CD32 History and Information. Archive.org link: Amiga CD32 Zone Amiga Center Author: n/a Date Verified…
-
AmigaSource.com - GENERAL AMIGA
https://amigasource.com/action_categories.php?cat_id=19
…Robert Davis Date Verified: pending Lots of Amiga Hardware hints, tips and links! Archive.org link: Amiga Hints Amiga History Author: Gjoran Date Verified: pending Nice page with…
-
AmigaSource.com - INTERVIEWS
https://amigasource.com/action_categories.php?cat_id=42
…n/a Date Verified: pending MaxUAE is the Mac OS X version of UAE. Archive.org link: MaxUAE MorLOUD Author: MorLOUD Date Verified: pending YAHOO Discussion list for…
-
AmigaSource.com - GAME SOFTWARE
https://amigasource.com/action_categories.php?cat_id=11
…Emanuele "SpawnPPC" Date Verified: pending AmiWorld On-Line - The BEST Italian Amiga WEB Magazine Archive.org link: AmiWorld On-Line apex designs Author: apex designs Date Verified: pending…