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
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…
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Bridge allowing better integration of Mojo modules in CPython
Open-source implementation of AlphaEvolve
An all-in-one enhancement suite for Google Gemini & AI Studio - timeline navigation, folder management, prompt library, and chat export in one powerful extension. / Google Gemini & AI Studio 全能增强插件…
Slap your MacBook, it yells back. Uses Apple Silicon accelerometer via IOKit HID.
Memory engine and app that is extremely fast, scalable. The Memory API for the AI era.
Efficient Differentiable n-d PDE Solvers in JAX.