Stars
Turbo Pascal 3.0-compatible compiler that generates machine code for classic and modern Z80 machines (currently CP/M, the Sinclair ZX Spectrum 48K/128K/Next, and the Agon Light/Console8).
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
Disable temporal dithering on your Mac with this lightweight menu bar app. Designed for Apple silicon Macs.
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Turn (almost) any Python command line program into a full GUI application with one line
A markup-based typesetting system that is powerful and easy to learn.
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working!
SwiftUI project navigation view for macOS and iOS
A declarative Unix terminal UI library written in Haskell
Give Swift "better than regex" data parsing features (for many common tasks)
Alcohol content estimation for beer based on refractometer readings.
Python only library to scan and decode advertised BLE info. Uses asyncio. Can decode Ruuvi Tag. Can broadcast EddyStone packets.
Virtualize macOS 12 and later on Apple Silicon, VirtualBuddy is a virtual machine GUI for macOS M1, M2, M3, M4
Create Dash docsets from Odoc generated documentation.
macOS VM for Apple Silicon using Virtualization API