DenSinH
I'm a math and physics student right now, I like programming and developing emulators as well though.
Netherlands
Pinned Repositories
BIOS
A Game Boy Advance replacement BIOS.
Acleris
A software rasterizer with nice syntax.
AGSTests
A (semi-)decompilation of the AGS tests in one central place
DSHBA
A highly performant GBA emulator with a hardware renderer
Epicalyx
A toy C compiler
FuzzARM
A random basic test ROM generator for the GBA
GameCubeResources
Resources on the Nintendo GameCube's Hardware
gba-audio-extractor
Writing a program to extract audio from GBA ROMs
GBAC-
After the wild success of the NES emulator I'm going to attempt to make a GBA emulator
QuadraticFormSolver
Algorithm + visualization for solving quadratic forms
DenSinH's Repositories
DenSinH/FuzzARM
A random basic test ROM generator for the GBA
DenSinH/Epicalyx
A toy C compiler
DenSinH/gba-audio-extractor
Writing a program to extract audio from GBA ROMs
DenSinH/GBARoms
One central repo for my small GBA assembly projects
DenSinH/json
A simple JSON loader / dumper
DenSinH/Miller
A mill guessing game for my grandpa
DenSinH/NESC-
Changed to C# for NES emulator
DenSinH/Simplex
A visualization for simplices in low dimensions
DenSinH/natural-numbers-game
A version of the natural numbers game in Coq
DenSinH/pokeruby-altered
Alteration of the decompilation of Pokémon Ruby/Sapphire to allow for a port
DenSinH/unimath-small-obj-arg
A UniMath formalization of Richard Garner's refinement of Quillen's small object argument
DenSinH/VivitarMiniCamExport
Small repository to explain / automatically export photos from a Vivitar Mini Camera
DenSinH/whisper-diarization
Automatic Speech Recognition with Speaker Diarization based on OpenAI Whisper
DenSinH/AOC2021
My solutions for Advent Of Code 2021
DenSinH/DenSinH
GitHub Pages Repo
DenSinH/docker-wordpress
Docker setup for a wordpress website
DenSinH/gphotos-compressor
A script to compress and reupload large videos to Google Photos
DenSinH/master-chef
DenSinH/master-chef-recipes
Automatically generated recipes
DenSinH/minio-setup
Minio docker-compose setup for my VPS
DenSinH/pmd-red
Decompilation of Pokémon Mystery Dungeon: Red Rescue Team
DenSinH/pret-port
Trying to port decompiled pokemon games (starting with pokemon ruby)
DenSinH/pymakeparser
Fixed up mozilla/pymake slightly to try and parse Makefiles
DenSinH/sanic-rate-limiter
Attempt at writing a rate limiter for Sanic apps, based on the FastAPI package
DenSinH/SkyEmu
Game Boy, Game Boy Color, and Game Boy Advance Emulator
DenSinH/subset_sum
Solves subset sum problem and returns a set of decomposed integers.
DenSinH/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
DenSinH/unimath-asoa-html
coqdoc generated HTML for the dependent files of the ModelCategories package I contributed to UniMath
DenSinH/vps-setup
Setup instructions for my VPS
DenSinH/whisperx-diarization
Diarization with whisperx with caching and a simple interface