Lolirofle/stuff-in-agda Lolirofle/stuff-in-agda

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language Agda
  • License
    MIT License
  • Created about 7 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Lolirofle/stuff-in-agda
github

Lolirofle

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

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.
C
8
star
2

enum_traits

Simple traits and derives for enums in the Rust programming language
Rust
6
star
3

2dgl

Not maintained
Rust
4
star
4

fixed_circular_buffer

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

endian-type

Rust
2
star
6

midi-notes-display

Simply displaying the notes of a MIDI file as a piano roll
Rust
2
star
7

simple_keyboard_instrument

Rust
1
star
8

gymn-school-projects

Haskell
1
star
9

byte_conv

(unsafe) Conversions between types and byte slices
Rust
1
star