Pinned Repositories
adh-rs
CLI/GUI audio noise generator
adventofcode17
Solutions for adventofcode 2017 in either scheme or sml
animelistbot
autosubst-metacoq
django-podify
make podcasts out of youtube paylists
egalax-rs
godot-breakout
godot-tutorial
gymtracker
master-thesis
addap's Repositories
addap/egalax-rs
addap/django-podify
make podcasts out of youtube paylists
addap/godot-breakout
addap/godot-tutorial
addap/gymtracker
addap/master-thesis
addap/adh-rs
CLI/GUI audio noise generator
addap/animelistbot
addap/autosubst-metacoq
addap/autosubst-ocaml
addap/eio
Effects-based direct-style IO for multicore OCaml
addap/eromdir
PS2 erom dump files extractor. The goal this program is to allow to list files from an Encrypted PlayStation2 ROM dump file. It simply does what the PS2 does to access the 'erom' filesystem.
addap/FreeDVDBoot
PlayStation 2 DVD Player Exploit
addap/hazel
addap/iced
A cross-platform GUI library for Rust, inspired by Elm
addap/initiative-counter
Tool to show the combat order in PnP games
addap/kelftool
Utility for decrypt, encrypt and sign PS2 KELF and PSX KELF files
addap/kotlinx.coroutines
Library support for Kotlin coroutines
addap/mandelbrot
addap/mapviz
addap/recursive-image
Haskell program to generate recursive images
addap/recursive-image-elm
Recursive Image Generator in Elm
addap/rpi-messages
addap/sicp
Solutions for sicp exercises in Racket and Mit-Scheme
addap/stechuhr
addap/syncplay
Client/server to synchronize media playback on mpv/VLC/MPC-HC/MPC-BE on many computers
addap/szsbot
Bot um sich bei Kursen des SZSB and der UdS anzumelden
addap/tapl-coq
addap/threepenny-gui
GUI framework that uses the web browser as a display.
addap/vocab_training
Tool to generate TTS audio files for vocabulary exported from Anki