Pinned Repositories
adh-rs
CLI/GUI audio noise generator
adventofcode17
Solutions for adventofcode 2017 in either scheme or sml
angstrom
Parser combinators built for speed and memory efficiency
animelistbot
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/angstrom
Parser combinators built for speed and memory efficiency
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/prettymaps
A small set of Python functions to draw pretty maps from OpenStreetMap data. Based on osmnx, matplotlib and shapely libraries.
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/szsbot
Bot um sich bei Kursen des SZSB and der UdS anzumelden
addap/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
addap/tapl-coq
addap/threepenny-gui
GUI framework that uses the web browser as a display.