#NAME,URL,DESCRIPTION,TLD
#
# Development repositories to clone into ~/dev/
# FORMAT: repo_name,github_url,description,top_level_directory
#
# TLDs (Top Level Directories):
# sites - websites (regardless of framework)
# systems - low-level, infra, machine facing code
# formal - proofs in lean4, coq, agda, etc.
# foss - open source software contributions
# labs - experiments, prototypes, half-baked ideas
# parsing - random src downloaded for inspiration
#
# Sites
krisyotam.com,https://github.com/krisyotam/krisyotam.com,personal website,sites
notes.krisyotam.com,https://github.com/krisyotam/notes.krisyotam.com,notes website,sites
thevirtuousqueen.com,https://github.com/krisyotam/thevirtuousqueen.com,virtuous queen website,sites
donlamar.com,https://github.com/krisyotam/donlamar.com,don lamar website,sites
#
# Formal
proofs,https://github.com/krisyotam/proofs,formal proofs collection,formal
#
# Labs
malware,https://github.com/krisyotam/malware,malware research with org zettel analysis,labs
prompts,https://github.com/krisyotam/prompts,prompts for various AI models,labs
scripts,https://github.com/krisyotam/scripts,general scripts and bin testing,labs
offsec,https://github.com/krisyotam/offsec,pentesting scripts for offsec and defsec,labs
pentest,https://github.com/krisyotam/pentest,pentest directories with org notes and opvpn files,labs
compcode,https://github.com/krisyotam/compcode,competitive programming solutions and practice,labs
#
# Parsing (inspiration repos)
wifi-password,https://github.com/rauchg/wifi-password,wifi password retrieval script,parsing
next-ai-news,https://github.com/rauchg/next-ai-news,next.js AI news app,parsing
NextFaster,https://github.com/ethanniser/NextFaster,faster next.js template,parsing
blog,https://github.com/rauchg/blog,rauchg blog source,parsing
gwern.net,https://github.com/gwern/gwern.net,gwern website source,parsing
archiver-bot,https://github.com/gwern/archiver-bot,gwern archiver bot,parsing
archive-text-urls,https://github.com/gwern/archive-text-urls,gwern url archiving tools,parsing
misc-haskell,https://github.com/gwern/misc-haskell,gwern misc haskell code,parsing