Giters
Aaron Elligsen (hath995)

hath995

Geek Repo

13

followers

4

following

103

stars

Company:ScreenMeet

Location:San Francisco

Github PK Tool:Github PK Tool

Aaron Elligsen's starred repositories

gb-printer

GB Printer emulator based on ESP32.

Language:CLicense:MITStargazers:5Issues:0Issues:0

v6502r

visual6502 remixed

Language:CStargazers:297Issues:0Issues:0

compfiles

Catalog Of Math Problems Formalized In Lean

Language:LeanLicense:Apache-2.0Stargazers:63Issues:0Issues:0

Dafny-VMC

VMC: a Library for Verified Monte Carlo Algorithms

Language:DafnyLicense:MITStargazers:11Issues:0Issues:0

logic-and-set-theory-with-dafny

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

Language:DafnyStargazers:3Issues:0Issues:0

ProgramSliding

Language:DafnyStargazers:1Issues:0Issues:0

range-set-blaze

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

Language:RustLicense:Apache-2.0Stargazers:66Issues:0Issues:0

cedar-spec

Definitional implementation of Cedar language and utilities for DRT

Language:LeanLicense:Apache-2.0Stargazers:73Issues:0Issues:0

veribetrkv-osdi2020

VeriBetrKV OSDI'20 artifact

Language:DafnyStargazers:9Issues:0Issues:0

dummit-foote

Solutions to Dummit & Foote's Abstract Algebra text

Language:TeXStargazers:1Issues:0Issues:0

artin-algebra

Solutions to Algebra, by Michael Artin.

Language:TeXStargazers:30Issues:0Issues:0

Monocraft

A monospaced programming font inspired by the Minecraft typeface

Language:PythonLicense:OFL-1.1Stargazers:8032Issues:0Issues:0

FiraCode

Free monospaced font with programming ligatures

Language:ClojureLicense:OFL-1.1Stargazers:76089Issues:0Issues:0

scientifica

tall, condensed, bitmap font for geeks

Language:Vim scriptLicense:OFL-1.1Stargazers:1792Issues:0Issues:0

JavaScript

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

Language:JavaScriptLicense:GPL-3.0Stargazers:31793Issues:0Issues:0

vulkan-diagrams

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

License:MITStargazers:863Issues:0Issues:0

smartknob

Haptic input knob with software-defined endstops and virtual detents

Language:C++License:NOASSERTIONStargazers:18537Issues:0Issues:0

trackerboy

Game Boy / Game Boy Color music tracker

Language:C++License:MITStargazers:105Issues:0Issues:0

tega

🕹 TypeScript Embedded GameBoy Macro Assembler

Language:TypeScriptLicense:MITStargazers:251Issues:0Issues:0

Red

A Gameboy Color project

Language:AssemblyLicense:BSD-2-ClauseStargazers:7Issues:0Issues:0

timetrap

Simple command line timetracker

Language:RubyLicense:NOASSERTIONStargazers:1475Issues:0Issues:0

DMGreport

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

Language:AssemblyStargazers:59Issues:0Issues:0

tilemap-studio

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

Language:C++License:NOASSERTIONStargazers:365Issues:0Issues:0

SameBoy

Game Boy and Game Boy Color emulator written in C

Language:CLicense:NOASSERTIONStargazers:1584Issues:0Issues:0

EKA2L1

A Symbian OS/N-Gage emulator

Language:C++License:GPL-3.0Stargazers:1482Issues:0Issues:0

gbtiles

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)

Language:RubyLicense:MITStargazers:15Issues:0Issues:0

gingerbread

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

Language:AssemblyLicense:UnlicenseStargazers:124Issues:0Issues:0

gbapfomgd

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

Language:TeXLicense:NOASSERTIONStargazers:147Issues:0Issues:0

GbJS

JS GB emulator!

Language:JavaScriptStargazers:1Issues:0Issues:0

tlaplus-graph-explorer

A static web application to explore and animate a TLA+ state graph.

Language:JavaScriptLicense:MITStargazers:195Issues:0Issues:0