Lists (4)
Sort Name ascending (A-Z)
- All languages
- Agda
- Arc
- Assembly
- BQN
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Cython
- Dhall
- Dockerfile
- Edge
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Fortran
- Futhark
- GDScript
- Gleam
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- LilyPond
- LiveScript
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mercury
- Mojo
- Nim
- OCaml
- Objective-C
- Objective-C++
- PHP
- Prolog
- Python
- QML
- R
- Racket
- ReScript
- Reason
- Rez
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Swift
- TeX
- TypeScript
- Typst
- V
- Vim Script
- Vue
- Zig
Starred repositories
The all-in-one AI productivity accelerator. On device and privacy first with no annoying setup or configuration.
An agentic skills framework & software development methodology that works.
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
Panel: The powerful data exploration & web app framework for Python
An open-source AI agent that brings the power of Gemini directly into your terminal.
Lean 4 formalization of arXiv:2603.21852 — All elementary functions from a single binary operator eml(x,y) = exp(x) - ln(y)
FiPy is a Finite Volume PDE solver written in Python
Production-grade engineering skills for AI coding agents.
The agent that grows with you
NVIDIA Math Libraries for the Python Ecosystem
CUDA Python: Performance meets Productivity
Numba compatible SCFG (Structured Control Flow Graphs) utilities.
Fast, accurate & comprehensive text measurement & layout
Skill that audits and rewrites content to remove AI writing patterns. Use it with your favorite agents including Claude Code, OpenClaw, and Hermes.
A collection of 100+ specialized Claude Code subagents covering a wide range of development use cases
Community-contributed instructions, agents, skills, and configurations to help you make the most of GitHub Copilot.
Real-time collaborative development from the comfort of your favorite tools
A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.
Swift Package porting libnfc protocol-layer logic to iOS via CoreNFC
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
💖🧸 Self hosted, you-owned Grok Companion, a container of souls of waifu, cyber livings to bring them into our worlds, wishing to achieve Neuro-sama's altitude. Capable of realtime voice chat, Minec…