-
10:57
(UTC -05:00)
Lists (26)
Sort Name ascending (A-Z)
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
- All languages
- Assembly
- Astro
- AutoHotkey
- Blade
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Cuda
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- F*
- Flix
- Fluent
- GAP
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- LiveScript
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Mustache
- Nix
- Nushell
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smarty
- Solidity
- Swift
- TeX
- TypeScript
- V
- Vim Script
- Vue
- Wren
- YAML
- hoon
Master programming by recreating your favorite technologies from scratch.
📚 Freely available programming books
Interactive roadmaps, guides and other educational content to help developers grow in their careers.
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
A list of Free Software network services and web applications which can be hosted on your own servers
Curated list of project-based tutorials
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
🎓 Path to a free self-taught education in Computer Science!
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
A feature-rich command-line audio/video downloader
Command-line program to download videos from YouTube.com and other video sites
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
An agentic skills framework & software development methodology that works.
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
21 Lessons, Get Started Building with Generative AI
Papers from the computer science community to read and discuss.
Collection of awesome LLM apps with AI Agents and RAG using OpenAI, Anthropic, Gemini and opensource models.
🔥 The Web Data API for AI - Turn entire websites into LLM-ready markdown or structured data
Magnificent app which corrects your previous console command.
Python tool for converting files and office documents to Markdown.
🏡 Open source home automation that puts local control and privacy first.