- Colorado
- All languages
- Assembly
- Batchfile
- C
- C#
- C++
- C3
- CMake
- CSON
- CSS
- Clojure
- CoffeeScript
- Crystal
- Cuda
- Cython
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Go
- Go Template
- HCL
- HTML
- Hack
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Logos
- Lua
- MATLAB
- MLIR
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- PHP
- Pan
- Perl
- PowerShell
- Prolog
- Python
- ReScript
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Shell
- Smalltalk
- Starlark
- Swift
- TeX
- Tree-sitter Query
- TypeScript
- Verilog
- Vim Script
- Vim Snippet
- Vue
- Zig
Starred repositories
Free and open-source macOS menu bar toolkit.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Run 70B+ LLMs on Apple Silicon by using SSD as extended memory — intelligent layer streaming and caching for Mac
Codebase intelligence for AI and humans: code health scores, auto-generated docs, git analytics, dead code detection, and architectural decisions via MCP.
Optimized primitives for collective multi-GPU communication
A unified library of SOTA model optimization techniques like quantization, distillation, pruning, neural architecture search, speculative decoding, etc. It compresses deep learning models for downs…
A native, user-mode, multi-process, graphical debugger.
Run frontier MoE models on hardware you already own — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦
The 100 line AI agent that solves GitHub issues or helps you in your command line. Radically simple, no huge configs, no giant monorepo—but scores >74% on SWE-bench verified!
Ringer — parallel AI-agent swarm orchestrator. Ringside — its native mission-control HUD. Fable-quality output without Fable-level burn.
System for collecting, deriving and working with facts about source code.
Orchestrate sandboxed coding agents in TypeScript with sandcastle.run()
Skills for Real Engineers. Straight from my .agents directory.
Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local
A friendly programming language from the future
Darklang main repo, including language, backend, and infra
A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
Bitwarden infrastructure/backend (API, database, Docker, etc).
Transportation network modeling software designed for multimodal and intermodal freight transport
Fast, developer-friendly JS/TS dependency vulnerability scanner with local lockfile scanning, OSV matching, direct vs transitive visibility, --fix, JSON output, and practical remediation guidance.
Lightweight, file-based workspace for source-guided whitebox security review.
The agent that grows with you
A collection of my Ghidra scripts to facilitate reverse engineering and vulnerability research.
A library for computing the Fast Fourier Transform (FFT) in one or two dimensions.
Fork of https://gitlab.mpcdf.mpg.de/mtr/pocketfft to simplify external contributions