Lists (2)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Astro
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- DIGITAL Command Language
- Dart
- Dockerfile
- Eiffel
- Emacs Lisp
- Erlang
- F#
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- M4
- MDX
- Makefile
- Markdown
- Mustache
- Nim
- Nix
- OCaml
- Objective-C
- OpenQASM
- Org
- PHP
- Perl
- PowerShell
- Processing
- Prolog
- Promela
- Python
- R
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- Verilog
- Vim Script
- Vue
- YARA
- Yacc
- Zig
Starred repositories
Create, develop, and deploy Slack apps from the command-line ✨
Coreutils for Windows: Installer & Packaging
Hypothesis strategies for generating Python programs, something like CSmith
A small OxCaml program that learns single-hex-digit addition with a transformer
stripe-mock is a mock HTTP server that responds like the real Stripe API. It can be used instead of Stripe's testmode to make test suites integrating with Stripe faster and less brittle.
The minimalistic document archiving platform.
aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink.
Dissecting the Duck's Innards — A DuckDB-based course on the Design and Implementation of Database System Internals
An advanced API client for python bot traderes.
Tabular Database Systems — A DuckDB-based course on the fundamentals of relational DBMSs and SQL
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
An agentic skills framework & software development methodology that works.
Browser automation CLI for AI agents
Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.
Agent skill that generates rich HTML pages or slide decks for diagrams, diff reviews, plan audits, data tables, and project recaps
64-bit RISC-V interpreter used at Cornell
Agent Skills to help developers using AI agents with Supabase
DeepSeek Coder: Let the Code Write Itself
Mastering Bitcoin 3rd Edition - Programming the Open Blockchain
A library for building dynamic webapps, using Js_of_ocaml