- Austin, TX
Lists (21)
Sort Name ascending (A-Z)
consensus, crdt, sync
Cool data structures, algorithms
Crypto algos, libs
edu
fun
hackerish
hardware
homelab
htmz
lambda, coc, fp
Lean
local-first
P2P Data structures, DBs
P2P Networking
PrettyStuff
Sol
sqlite
urbit
Utils
WASM
Zig
- All languages
- Agda
- ApacheConf
- AppleScript
- Arduino
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Eagle
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Forth
- G-code
- GAP
- GLSL
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Isabelle
- Janet
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- MQL4
- Makefile
- Markdown
- Mustache
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Opa
- OpenSCAD
- PHP
- Perl
- Prolog
- Pug
- Python
- R
- RPC
- Raku
- ReScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
- hoon
Starred repositories
Transformers-compatible library for applying various compression algorithms to LLMs for optimized deployment with vLLM
A Rust framework for building distributed, stateful entity systems with durable workflows
Collection of extracted System Prompts from popular chatbots like ChatGPT, Claude & Gemini
Experimental research on context field prompts and cognitive regime shifts in large language models.
Claude Code skill implementing Manus-style persistent markdown planning — the workflow pattern behind the $2B acquisition.
Bring AI agents into Obsidian via Agent Client Protocol (ACP), such as Claude Code, Codex and Gemini CLI.
A QGIS Plugin for searching data from the official Earth Engine Data Catalog and Awesome GEE Community Catalog
Beautiful git diff viewer, generate commits with AI, get summary of changes, all from the CLI
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
Point at any URL/YouTube/Podcast or file. Get the gist. CLI and Chrome Extension.
A comprehensive collection of Agent Skills for context engineering, multi-agent architectures, and production agent systems. Use when building, optimizing, or debugging agent systems that require e…
"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files
🌀 Inference programming language specification
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
JAX in JavaScript – ML library for the web, running on WebGPU & Wasm
Mac setup and configuration via Ansible.
The Best Agent Harness. Meet Sisyphus: The Batteries-Included Agent that codes like you.
A powerful cross-platform port management tool for developers. Monitor ports, manage Kubernetes port forwards, integrate Cloudflare Tunnels, and kill processes with one click.
A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.
AXe is a CLI tool for interacting with Simulators using Apple's Private Accessibility APIs.
Multi-backend CLI for executable markdown prompts. Run .md files against Claude, Codex, Gemini, or Copilot.
Emulate huge mobile ad-hoc mesh networks using Linux network namespaces.