Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by gattschardo
A curated list of projects in awesome lists by gattschardo .
https://github.com/gattschardo/tetris
basic tetris implementation for GTK3, SDL1 (with emscripten support) and SDL2
cairo emscripten gtk3 sdl sdl2 wasm
Last synced: 26 Oct 2024
https://github.com/gattschardo/irssi-espeak
Text-to-speech plugin for irssi
Last synced: 26 Oct 2024
https://github.com/gattschardo/ofdex
Exercises from Okasaki's Purely Functional Data Structures
Last synced: 26 Oct 2024
https://github.com/gattschardo/fkmbab
some small utilities that may be useful
Last synced: 26 Oct 2024
https://github.com/gattschardo/open-inductive
Open inductive predicate definitions for Isabelle
Last synced: 26 Oct 2024