Stars
Replacement for a Milight/LimitlessLED hub hosted on an ESP8266
A university course template to teach about Free and Open-Source Software (FOSS)
Artemis - Interactive Learning with Automated Feedback
Project to make isabelle and the AFP easily searchable.
Checker for "morally correct" induction proofs about haskell programs
A cross-platform, OpenGL terminal emulator.
Manage a user environment using Nix [maintainer=@rycee]
A best-first-search theorem prover implemented in Isabelle
A collection of ZSH frameworks, plugins, themes and tutorials.
A simple header-only C++ argument parser library. Supposed to be flexible and powerful, and attempts to be compatible with the functionality of the Python standard argparse library (though not nec…
Frontend for the Craftr build framework.
Arena based tree 🌲 structure by using indices instead of reference counted pointers
WebKit-based status bar for tiling window managers.
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Rofi: A window switcher, application launcher and dmenu replacement
DEPRECATED, use https://github.com/gtk-rs/gtk3-rs repository instead!
Mirror of https://gitlab.redox-os.org/redox-os/redox
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Proseminar: Algebraische Methoden der Kryptologie
🔨 Base16 Builder is a nimble command-line tool that generates themes for your favourite programs.
🎚 Configuration files for macOS and Linux