Lists (26)
AI
blog
caldav
cloud-infra
docker
emacs
formal verification
haskell
Homelab
julia
latex
llms
networking
nix
Note taking
notebooks
nvim
obsidian
piracy
python
quantitative finance
Research challenge 22
rust
Shell,Dotfiles,Ergonomics
Theorem Proving
web3
Stars
Cursor (RemoteSSH) Visual Studio Code Server support in NixOS
A playground of highly experimental prompts, Jinja2 templates & scripts for machine intelligence models from OpenAI, Anthropic, DeepSeek, Meta, Mistral, Google, xAI & others. Alex Bilzerian (2022-2…
clechasseur / rs-clippy-check
Forked from actions-rs/clippy-check📎 GitHub Action for PR annotations with Rust clippy warnings
ultranymous / stc
Forked from nexus-stc/stcDistributed free search engine and AI tools that grant access to knowledge
Complete rewrite. Pure Lua.
noDRM / DeDRM_tools
Forked from apprenticeharper/DeDRM_toolsDeDRM tools for ebooks
nix-community / nix-doom-emacs
Forked from vlaci/nix-doom-emacsdoom-emacs packaged for Nix [maintainers=@thiagokokada]
angelnu / pod-gateway
Forked from toboshii/pod-gatewayContainer image used to set a pod gateway
Deadshot0x7 / 007-TheBond
Forked from eXaction/007-TheBondThis Script will help you to gather information about your victim or friend.
odeke-em / drive
Forked from rakyll/driveGoogle Drive client for the commandline
hdoria / xcode-themes
Forked from jbrennan/xcode4themesColor themes for Xcode