Discover @Lolirofle Open Source projects

E (@Lolirofle)

Lolirofle

Stars
36
Global Rank 430,311 (Top 15 %)
Followers 9
Following 1
Registered over 12 years ago
Most used languages

Rust
70.0 %

Haskell
10.0 %

Agda 10.0 %

C
10.0 %
Location 🇺🇸 United States
Country Total Rank 82,464
Country Ranking

Agda 25

Rust
2,653

Haskell
3,192

C
9,332

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

fixed_circular_buffer

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

endian-type

midi-notes-display

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

simple_keyboard_instrument

gymn-school-projects

byte_conv

(unsafe) Conversions between types and byte slices