Using your Apple device as an access card in unsupported systems

Noto Emoji with extended Blob support

A rich repositery of BlobCat emojis, derived from Google's blob emojis

Play with fluids in your browser (works even on mobile)

Community plugins list, theme list, and releases of Obsidian.

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

An activation program for VocalWriter; a 23 year old, discontinued vocal synthesizer for Power PC Macs

A compatibility environment that can run M68000 MINIX 1.5 binaries, for example to enable building M68000 MINIX on a modern UNIX.

A graphical interactive proof assistant designed for education

Demo for dependent types + runtime code generation

Noninterference by normalization (by evaluation)

An abstract set theory library that can be instantiated in various ways

Meta-programming utilities for Agda.

Extension of Agda's standard library to accommodate a more typeclass-friendly interface.

an implementation of stuck macros

current focus on Colorlight i5 and i9 & i9plus module

Various files

iSCSI Initiator for macOS

browse the modern web on vintage computers

Drawing graphics efficiently on Apple Vision using the Metal rendering API

Very personal and subjective lists and notes of typefaces for text/book setting, sans serifs, monospace, and other novelties

Check agda commands from your terminal

A modern, cross-platform, highly modular / decoupled, data-driven, ECS-based game engine written in Rust with scripting support for C#, JavaScript and Rust to Rust (WASM), hot-reloading, WebGPU ren…

Vim integration with Agda

Asynchronous type-checking for Agda 2.6.2.

Agda interaction pluging for neovim

Magda: Minimal Agda mode for Neovim

Check agda commands from your terminal