Stars
- All languages
- Agda
- Batchfile
- Bluespec
- C
- C#
- C++
- CSS
- Elm
- Emacs Lisp
- Fennel
- Go
- HLSL
- HTML
- Haskell
- Java
- JavaScript
- Koka
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- MoonBit
- Nix
- OCaml
- Python
- QML
- Rocq Prover
- Rust
- SCSS
- SMT
- Sass
- Scala
- Scheme
- Shell
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
Atomic secret provisioning for NixOS based on sops
EDK2 UEFI firmware for Rockchip RK3588 platforms
🪨 A collection of contrast-based Vim/Neovim colorschemes
A color palette for Deep contemplation and work
Yet another Nix CLI helper. [Maintainers=@NotAShelf]
Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]
An open source, self-hosted implementation of the Tailscale control server
Tiled scrollable window manager for MacOS
A sleek and minimal desktop shell thoughtfully crafted for Wayland.
Patches to support Asus Zenbook A14 with Snapdragon X1 Elite / X1 Plus
Public repository for Abstact Algebra Theory and Applications
Forge - Tiling and Window Manager for Gnome-Shell
Source code for the Mathematics in Lean tutorial.
A prompt engineering functional programming language
Manage system config using nix on any distro
Managing multiple CS2 Servers with ease
📚 (WIP) Formal proofs of "An Infinitely Large Napkin"