Lolirofle

libnsf

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.

stuff-in-agda

Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.

enum_traits

Simple traits and derives for enums in the Rust programming language

2dgl

Not maintained

fixed_circular_buffer

A queue (the abstract data structure) implemented using a fixed size circular buffer in the Rust programming language

midi-notes-display

Simply displaying the notes of a MIDI file as a piano roll

byte_conv

(unsafe) Conversions between types and byte slices

endian-type

gymn-school-projects

simple_keyboard_instrument

android_desktop_input_remote

bukkit-plugins

CinrollLang

Personal experimental programming language

cssact

desmume-fork

DeSmuME is a Nintendo DS emulator

filetype_content_blocker

Old addon for Firefox Mobile that can block certain content types from loading

image-png

PNG decoder

irc-websocket

lolpranz

Platform

rand

rust_toy_rsa

Having some fun

rusted_pixels

A pixel art editor written in rust

school-graphcalc

Sketch

Tiny HTML5+Javascript sketching/drawing/painting application/library

str_splits

Library for the Rust programming language. Provides iterators for all partitions containing two parts.

stw

sv_days

tabbed_text_to_html

Tesutobot_Slack

Slack bot

Toabot

Extendable IRC bot with an IRC interface written in C