Starred Repositories
Browse starred repositories
Sort: Recently starred
-
-
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.
-
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.
-
Software for the Muon Hunter project
-
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
-
ShellCheck, a static analysis tool for shell scripts
-
This project is essentially abandonware!
-
-
A utility similar to Firebug but for GTK+ applications.
-
This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead
-
lm-sensors repository
-
Hackage-Server: A Haskell Package Repository
-
Issue tracker for Hackage maintainance and trustee operations
-
The IETF PPSP peer protocol reference implementation
-
vim2hs :: Vim -> Haskell
-
A Language for High-Level Programming with Self-Extension
-
Two programs, which can be used for OS/application leap second immunity verification.
-
Lean Theorem Prover