Stars
Browse starred repositories and topics
Sort: Recently active
Starred Repositories
-
Nix Packages collection & NixOS
-
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Backend processor for BibLaTeX
-
Paparazzi is a free and open-source hardware and software project for unmanned (air) vehicles. This is the main software repository.
-
A gtk based status bar for tiling window managers such as XMonad
-
Vim-fork focused on extensibility and usability
-
Haskell to VHDL/Verilog/SystemVerilog compiler
-
Build OpenWRT images in Nix derivations
-
The Meson Build System
-
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.