Check your idea: does it exist already?
Describe what you are building or planning. Amigadex compares it with every indexed project by meaning, not only by words, and shows the closest ones, so you can join, fork or coordinate before duplicating work.
3 projects about “verified”
A few words find the projects about them. Describe your idea in a sentence or two to compare it by meaning: what it does, for which system, how.
Sort: closest · recently active · most stars · newest
-
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...
-
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...
-
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
-
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.
-
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.
-
Simple tool to transfer files and run commands on Amiga from Linux
-
A somewhat faithful recreation of the Amiga MIDI interface from "ST Amiga Format" issue 5
-
Open dataset of electrolytic capacitor replacement lists for retro computers, with a generated reference site.
-
An adapter to use an A1200 CPU in an Amiga 3000 or 4000. Targed for Pistorm32 use.
-
Open-source antivirus for AmigaOS 1.2+
-
NFSv3 client filesystem for classic AmigaOS - mount Linux and NAS shares as Amiga volumes
-
FreeBASIC-NG is an independently maintained, CMake-based FreeBASIC fork with modern multi-platform release tooling.