Lists (20)
claude plugins
2 repositories
firefox addons
14 repositories
flake modules
5 repositories
formatter
11 repositories
github-actions
30 repositories
haskell packages
27 repositories
home manager modules
9 repositories
language server
8 repositories
mcp servers
1 repository
neovim plugins
39 repositories
nix
216 repositories
nix library
18 repositories
nix packaging
10 repositories
nix repo
21 repositories
nixos modules
14 repositories
nushell plugins
4 repositories
python packages
38 repositories
ruby gems
48 repositories
rust crates
34 repositories
static program analysis
15 repositories
Starred repositories
aelurum / AssetStudioMod
Forked from Perfare/AssetStudioAssetStudioMod - modified version of Perfare's AssetStudio, mainly focused on UI optimization and some functionality enhancements.
Implementation of Knytt Stories in the Godot engine
Git extensions for parking, sharing, and landing merges that stopped at conflicts.
Modern flashlight app with dim functionality on Android 13+
A free, secure and open source app for Android to manage your 2-step verification tokens.
An Android app to more easily contribute to our Verified Apps database
Send push notifications to your phone or desktop using PUT/POST
Hardware-based attestation and intrusion detection app for Android. It provides both local verification with another Android device via QR codes and optional scheduled server-based verification wit…
attestation.app remote attestation server. Server code for use with the Auditor app: https://github.com/GrapheneOS/Auditor. It provides two services: submission of attestation data samples and a re…
an android OTA payload dumper written in Go
A Kernel based root solution for Android
Play Morrowind in your browser — the OpenMW engine compiled to WebAssembly, now with multiplayer and a cloud locker for your own game data.
pix2code: Generating Code from a Graphical User Interface Screenshot
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code navigation (jump to definition).
Lean 4 programming language and theorem prover
Number theory: primes, arithmetic functions, modular computations, special sequences
Language server, formatter, and linter for Quarto and other Markdown flavors
a structural diff that understands syntax 🟥🟩
Tasty integration for the Hedgehog property testing library