-
ddb_playback_status Public
Forked from cboxdoerfer/ddb_playback_statusPlayback Status Widget for the DeaDBeeF Audio Player
C UpdatedApr 13, 2025 -
-
stuff-in-agda Public
Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
-
desmume-fork Public
Forked from TASEmulators/desmumeDeSmuME is a Nintendo DS emulator
C GNU General Public License v2.0 UpdatedJul 24, 2022 -
-
-
-
-
midi-notes-display Public
Simply displaying the notes of a MIDI file as a piano roll
-
-
-
fixed_circular_buffer Public
A queue (the abstract data structure) implemented using a fixed size circular buffer in the Rust programming language
-
-
-
enum_traits Public
Simple traits and derives for enums in the Rust programming language
-
filetype_content_blocker Public
Old addon for Firefox Mobile that can block certain content types from loading
JavaScript UpdatedJul 31, 2017 -
libnsf Public
Handles the nsf audio format, a library and an application for viewing and modifying the metadata of the format used for storing NES music data.
-
str_splits Public
Library for the Rust programming language. Provides iterators for all partitions containing two parts.
Rust MIT License UpdatedDec 12, 2016 -
-
Sketch Public
Forked from dmliao/SketchTiny HTML5+Javascript sketching/drawing/painting application/library
JavaScript MIT License UpdatedSep 30, 2016 -
rusted_pixels Public
Forked from Pranz/rusted_pixelsA pixel art editor written in rust
Rust UpdatedSep 25, 2016 -
image-png Public
Forked from image-rs/image-pngPNG decoder
Rust Apache License 2.0 UpdatedSep 7, 2016 -
-
byte_conv Public
(unsafe) Conversions between types and byte slices
-
-
-
-
-
-
{{ message }}