Retro Debugger is a multiplatform debugger APIs host for retro computers: C64 (Vice), Atari800 and NES (NestopiaUE).

🎥 Command line media player

🔨 Helper scripts to compile mpv on Linux

An mpv-based video player for studying Japanese

Use your own subtitles on VRV or Crunchyroll to learn Japanese!

rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission

Mashi - Javascript & WASM compressor

Free, portable Commodore 64 emulator

Importance-sampled FAST Noise

Official GIT archive of 1541 ultimate II sources

FFmpeg Assembly Language Lessons

Main AROS repository for active development. Contains the main Operating System components and Build System.

The open-source Zynq 7000 BSP generator for openXC7

A synthesizer and tracker software for native C/C++ and JS

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Terriblefire TF1230

Startup code for realtime graphics programming on Amiga 1200/4000

Making it easier to work with shaders

Simulations of various aspects of the M68060 processor

Code for "Real-Time Polygonal-Light Shading with Linearly Transformed Cosines"

A framework for rapid prototyping and development of real-time rendering techniques.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A fork of the Kissat SAT solver with additional features. Supports incremental solving.

Original source code for Impulse Tracker, a music tracker for DOS

Z80 open-source silicon clone. Goal is to become a silicon proven, pin compatible, open-source replacement for classic Z80.

low-level window system interface for audio plugin UIs

This contains all the Airwindows audio open source code

a highly automated and intuitive digital audio workstation - official mirror