davidtwco
A software engineer from Scotland, with an interest in systems software and open source software; co-lead of the Rust compiler team.
Huawei R&D, Edinburgh Programming Languages GroupEdinburgh, Scotland
Pinned Repositories
ansi-c-exercises
@davidtwco does exercises from the C Programming Language, Second Edition by Brian Kernighan and Dennis Ritchie.
dotfiles
@davidtwco does dotfiles. Configurations for vim, tmux, zsh, bash, git, gpg and more.
personal-website
@davidtwco's personal website containing projects and writings, built using Metalsmith and Gulp, hosted on Netlify.
rust-wooting-sdk
Rust bindings for Wooting Analog and RGB SDKs!
veritas
@davidtwco's personal mono-repo - containing the declarative configuration of servers, desktops and laptops - including dotfiles; a collection of packages; a static site generator and source of "davidtw.co".
nixpkgs
Nix Packages collection & NixOS
compiler-team
A home for compiler team planning documents, meeting minutes, and other such things.
rust
Empowering everyone to build reliable and efficient software.
thorin
DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.
zulip
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
davidtwco's Repositories
davidtwco/veritas
@davidtwco's personal mono-repo - containing the declarative configuration of servers, desktops and laptops - including dotfiles; a collection of packages; a static site generator and source of "davidtw.co".
davidtwco/volubility
Fluent resource versioning for Pontoon
davidtwco/blog-compiler-pr-stats
Data collection and plotting scripts for "On the compiler team's review queue" blog post
davidtwco/rustc-backtrace-filter
A small utility for filtering noisy, often irrelevant lines out of backtraces when working on rustc
davidtwco/rustc-dev-guide
A guide to how rustc works and how to contribute to it.
davidtwco/team
Rust teams structure
davidtwco/ale
Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
davidtwco/blog.rust-lang.org
The Rust Programming Language Blog
davidtwco/calendar
Calendars for Rust project teams
davidtwco/calendar-generation
Generate iCalendar documents from calendar specifications in TOML. See rust-lang/calendar.
davidtwco/cargo
The Rust package manager
davidtwco/compiler-team
A home for compiler team planning documents, meeting minutes, and other such things.
davidtwco/davidtwco
@davidtwco's README for his GitHub profile!
davidtwco/governance
The home for Rust's governance documentation, such as team charters.
davidtwco/helix
A post-modern modal text editor.
davidtwco/home-manager
Manage a user environment using Nix
davidtwco/mdcat
cat for markdown
davidtwco/neuron
Future-proof and simple-to-use notes system based on Zettelkasten.
davidtwco/nix-dns
A Nix DSL for DNS zone files
davidtwco/nixpkgs
Nix Packages collection
davidtwco/rfcs
RFCs for changes to Rust
davidtwco/rust
A safe, concurrent, practical language.
davidtwco/rust-forge
Information useful to people contributing to Rust
davidtwco/rustc-perf
Website for graphing performance of rustc
davidtwco/surveys
Repo for coordinating the creation, distribution, collection, and analysis of surveys for the Rust project.
davidtwco/this-week-in-rust
Data for this-week-in-rust.org
davidtwco/thorin
DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.
davidtwco/triagebot
Triage Bot
davidtwco/zulip
Zulip server - powerful open source team chat
davidtwco/zulip_archive
A tool for archiving and displaying Zulip chat channels.