Highlights
Lists (32)
Sort Name ascending (A-Z)
C++
ClickHouse
cm
Consulting
Data Structures
Databases
Datastores
DB Perf
embedded
go
golang
Interviews
Things that are useful for interviews but not the real worldKubernetes
livecoding
Logic
Machine learning
mindfuck
music
Use this on my websiteNetworking
Performance
Productivity
Programming Languages
research
Research Interests
Resource recommendations
Rust
selfhost
stats
System tools
Tools useful for sysadmin stuffSystems
vim
web dev
Stars
- All languages
- Assembly
- Awk
- Batchfile
- C
- C#
- C++
- C3
- CSS
- Clojure
- Common Lisp
- Crystal
- Cuda
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Flix
- Futhark
- Go
- HCL
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Meson
- OCaml
- OpenQASM
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- Python
- QML
- R
- Racket
- Raku
- Reason
- Roff
- Ruby
- Rust
- SCSS
- Sail
- Scala
- Scheme
- Shell
- Solidity
- Starlark
- Svelte
- Swift
- TLA
- TeX
- Twig
- TypeScript
- V
- Verilog
- Vim Script
- Vue
- Zig
A low-latency guitar effects studio with an AI-assisted pedalboard.
Build your own AI SRE agents. The open source toolkit for the AI era.
This is A complete DSA preparation Course. A DSA self-paced course for ultimate Interview and Placement Preparation
An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.
Fully Distributed Workload Scheduling and Cluster Management
LLM agent for customer support with inline evaluation, hallucination detection, retry/fallback logic, and RAG grounding. Built with Claude (Sonnet + Haiku), FastAPI, asyncpg, and pgvector.
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.
A unified interface for AI in your terminal.
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
Building a calculator as an agent that can be asked basic mathematical questions.
AI agents running research on single-GPU nanochat training automatically
Learn Low Level Design (LLD) and prepare for interviews using free resources.
Claude vim plugin for AI pair programming - a hacker's gateway to LLMs
Mono-repository for all Mechanix OS GUI components
HyperLogLog and HyperLogLog++ implementation in Go/Golang.
Instant K8s service dependency map, right to your Grafana.
eBPF-based Linux high-performance transparent proxy solution.