- Vancouver, BC
- All languages
- ANTLR
- Agda
- Assembly
- Awk
- BQN
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- D
- Dhall
- Elixir
- Emacs Lisp
- Erlang
- F*
- Factor
- Flix
- Forth
- GAP
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- M4
- Makefile
- Markdown
- Nim
- OCaml
- Objective-C
- Pascal
- Perl
- Prolog
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sail
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Vim Script
- WebAssembly
- Zig
Starred repositories
A set of Ansible playbooks to build and maintain your own private cloud: email, calendar, contacts, file sync, IRC bouncer, VPN, and more.
A global, public domain map dataset available at three scales and featuring tightly integrated vector and raster data.
All CPU and MCU documentation in one place
Deprecated Catapult GitHub. Please instead use http://crbug.com "Speed>Benchmarks" component for bugs and https://chromium.googlesource.com/catapult for downloading and editing source code..
A guide to how rustc works and how to contribute to it.
A listing of compiler, language and runtime teams for people looking for jobs in this area
Book publishing as easy as it should be (built with Symfony components)
There is no state but what we make. Feel free to pitch in.
A collection of tools for writing technical documents that mix Rocq code and prose.
The previous Rust website. The current website's code is at https://github.com/rust-lang/www.rust-lang.org.
BluOS sound player streaming audio station selector.