Starred repositories
10
results
for sponsorable starred repositories
Clear filter
Extensions for the Zed editor
Control theory in Haskell: Data structures, algorithms and adapters
A use-package declaration for simplifying your .emacs
A simple, fast and user-friendly alternative to 'find'
An axiom-free formalization of category theory in Coq for personal study and practical work
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
The core of xmonad, a small but functional ICCCM-compliant tiling window manager