Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
-
An alternative Discord client with voice support made with C++ and GTK 3
-
A UPS for raspberry pis.
-
Fixes Ripcord's voice chat functionality
-
Clean data about math movies from http://www.qedcat.com/moviemath/
-
print ELF shared library dependencies in Graphviz format
-
High performance, concurrent functional programming abstractions
-
SD card based multi-purpose cartridge for the SNES
-
Want to change the color scheme of KiCad? Look here for Inspiration.
-
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.