Lists (4)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- C
- C++
- CMake
- CSS
- Cairo
- Circom
- Clojure
- Common Lisp
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F*
- G-code
- GAP
- Go
- HTML
- Haskell
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- KCL
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mermaid
- Move
- Nim
- Noir
- OCaml
- Odin
- Python
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- 8000 span> SWIG
- Sage
- Sail
- Scala
- Shell
- Solidity
- Standard ML
- Starlark
- TLA
- TeX
- TypeScript
- V
- Vim Script
- Vue
- WebAssembly
- Wikitext
- YASnippet
- Zig
Starred repositories
NEO Emacs (WIP): GPU powered Emacs written in Rust with a modern display engine. Aiming for modern design & multi-threaded Elisp, 10x performance, zero-pause concurrent GC and 100% Emacs compatibil…
An ACP (Agent Client Protocol) implementation in Emacs lisp as per https://agentclientprotocol.com
Sui development skills maintained by Mysten Labs
Brings your favorite AI agents to Emacs, keeping you at home: familiar buffers and bindings, no terminal emulation. Powered by ACP.
TypeScript SDK for ACP clients and agents.
A protocol for connecting any editor to any agent
A Git-compatible VCS that is both simple and powerful
Assimilate Emacs packages as Git submodules
The home of the Plank Compiler and Sensei IR, its language agnostic EVM IR & backend.
The ZK Compression Protocol For Solana
A fast zero-knowledge proof system for key derivation and key encryption, for web and mobile.
A collection of 265 rules across 26 categories that AI coding agents can use to write idiomatic, fast, and safe Rust.
Emacs major mode for Lean 4
Simplicity Multisig