nrc

Formerly Rust at @microsoft, @rust-lang core team, @pingcap, @mozilla.

MicrosoftWellington, NZ

Pinned Repositories

derive-new
derive simple constructor functions for Rust structs
Language:Rust528 8 3135
error-docs
Documentation of Rust error handling
49 4 74
ezio
Easy IO for Rust
Language:Rust104 2 104
graphql
A Rust GraphQL server framework
Language:Rust236 13 2712
libhoare
Design by contract style assertions for Rust
Language:Rust245 14 1818
portable-interoperable
Async fundamentals initiative: portable and interoperable
75 22 150
proc-macro-rules
Macro-rules-style syntax matching for procedural macros
Language:Rust51 4 285
r4cppp
Rust for C++ programmers
Language:Rust3.6k 93 55289
rustaceans.org
Backing data for
180 11 25426
rust
Empowering everyone to build reliable and efficient software.
Language:Rust98.6k 1.5k 55.3k12.7k

nrc's Repositories

nrc/callgraph.rs
Callgraphs for Rust programs
Language:Rust32 4 15
nrc/rust-dxr
Rust indexing in DXR
8 4 28
nrc/N
PL Semantics Tool
Language:Python3 3 0
nrc/github-issues-import
Fork of IQAndreas/github-issues-import
Language:Python2 3 01
nrc/triage
Scripts for helping with Rust issue triage
Language:JavaScript2 4 4
nrc/deglobber
Tool for showing and replacing glob imports with non-glob imports in Rust programs
Language:Rust3 10
nrc/dxr-rust-config
Configuration and build scripts for building a DXR index of the Rust compiler and libraries
Language:Shell3 0
nrc/harfbuzz
HarfBuzz OpenType text shaping engine
Language:C++
nrc/hexfloat
Syntax extension to create floating point literals from hexadecimal strings
Language:Rust3 0
nrc/libreprint
Utility library for reprinting files with changes
Language:Rust3 7
nrc/n2
WIP another go at a syntactic proof tool
Language:Rust3 0
nrc/trychooser
Interactively create tryserver syntax from the command line
Language:JavaScript3 0