Lists (1)
Stars
An alternative Discord client with voice support made with C++ and GTK 3
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
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.
Voevodsky's original development of the univalent foundations of mathematics in Coq
Markdown-formatted Creative Commons licenses
GaleForce is a project to customise the Google Wifi router
[INACTIVE] Development continued in literate-unitb-complete
The supplementary files for the Desktop Muon Detector.
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
ShellCheck, a static analysis tool for shell scripts
A utility similar to Firebug but for GTK+ applications.
This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead
Hackage-Server: A Haskell Package Repository
Issue tracker for Hackage maintainance and trustee operations
The IETF PPSP peer protocol reference implementation
A Language for High-Level Programming with Self-Extension
Two programs, which can be used for OS/application leap second immunity verification.