Game Boy / Color engine with lots of features

GB Printer emulator based on ESP32.

visual6502 remixed

Catalog Of Math Problems Formalized In Lean

Dafny-VMC: a Library for Verified Monte Carlo Algorithms

Material for a logic and set theory course written in the verification-aware programming language Dafny

Integer sets as fast, sorted, integer ranges with full set operations

Definitional implementation of Cedar language and utilities for DRT

VeriBetrKV OSDI'20 artifact

Solutions to Dummit & Foote's Abstract Algebra text

Solutions to Algebra, by Michael Artin.

A monospaced programming font inspired by the Minecraft typeface

Free monospaced font with programming ligatures

tall, condensed, bitmap font for geeks

Algorithms and Data Structures implemented in JavaScript for beginners, following best practices.

Diagrams showing relationships between Vulkan objects and how they're used.

Haptic input knob with software-defined endstops and virtual detents

Game Boy / Game Boy Color music tracker

🕹 TypeScript Embedded GameBoy Macro Assembler

A Gameboy Color project

Simple command line timetracker

DMG and CGB (Color Game Boy) tutorials for coding assembly games with RGBDS

A tilemap editor for Game Boy, Color, Advance, DS, and SNES projects. Written in C++ with FLTK.

Game Boy and Game Boy Color emulator written in C

A Symbian OS/N-Gage emulator

Allows files created by Harry Mulder's Game Boy Map Builder and Game Boy Tile Designer to be converted in to different file formats for use in Game Boy game development (e.g.: with GBDK)

A library with some standard functions for Game Boy games written in ASM

Source code for the book "Game Boy Assembly Programming for the Modern Game Developer"

JS GB emulator!