- Austin, Texas
-
16:36
(UTC -05:00)
Highlights
- Pro
Lists (32)
Sort Name ascending (A-Z)
API tools
build tools
CI/CD
CLI tools
cloud/distributed tools
container tools
cool languages
programming languagescool tools
data visualization
developer experience
dot files
FOSS
golang tools
k8s tools
learning architecture/design
learning cloud
learning computer science
learning DevOps
learning formal verification
learning golang
learning haskell
resources for FP and haskell stufflearning Linux
learning math/physics
learning repos
git repos that provide learning resourceslearning rust
network tools
observability tools
productivity tools
projects
resources
rust tools
security tools
- All languages
- Agda
- Alloy
- Assembly
- Astro
- Blade
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- Flix
- Gleam
- Go
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- Idris
- Inno Setup
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- KCL
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Mustache
- Nix
- Nunjucks
- OCaml
- Odin
- PHP
- Perl
- PureScript
- Python
- Racket
- ReScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Starlark
- Swift
- TLA
- TeX
- TypeScript
- V
- VCL
- Verilog
- Vim Script
- YAML
- YARA
- YASnippet
- Zig
Starred repositories
A curated list of command-line utilities written in Rust
Harness the power of Rust. Those fast productivity tools based on Rust.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Quantify uncertainty and sensitivities in your computer models with an industry-grade Monte Carlo library.
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows — particularly Claude Code
The awesome collection of OpenClaw skills. 5,400+ skills filtered and categorized from the official OpenClaw Skills Registry.🦞
A curated collection of 1000+ agent skills from official dev teams and the community, compatible with Claude Code, Codex, Gemini CLI, Cursor, and more.
A collection of 100+ specialized Claude Code subagents covering a wide range of development use cases
A curated list of awesome skills, hooks, slash-commands, agent orchestrators, applications, and plugins for Claude Code by Anthropic
A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows
Model Context Protocol Servers
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
Dotfiles for LABWC with 19 preconfigured color schemes + dynamic wallpaper-based color generation using matugen. It includes everything wayar, rofi (launchers, powermenu and applets) and some cool …
Terminal UI library with rich, interactive widgets — written in Golang
Tcell is an alternate terminal package, similar in some ways to termbox, but better in others.
An interface library for RL post training with environments.
Dendritic Nix - Community-driven Nix distribution based on the Dendritic pattern.
A static verifier for Rust, based on the Viper verification infrastructure.
Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.