camelid

Rust Compiler and Rustdoc team member. Compiler enthusiast.

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 0 00
backtrace-rs
Backtraces in Rust
Language:Rust0 0 00
blog.rust-lang.org
The Rust Programming Language Blog
Language:Rust0 0 00
blog.servo.org
The Servo blog
Language:CSS0 0 00
browser-compat-data
This repository contains compatibility data for Web technologies as displayed on MDN
Language:JavaScript0 0 00
calendar
Calendars for Rust project teams
0 0 00
rust
Empowering everyone to build reliable and efficient software.
Language:Rust1 1 00
type-layout
Artifact for "Filling a Niche: Using Spare Bits to Optimize Data Representation"
Language:Rust4 1 01
rust
Empowering everyone to build reliable and efficient software.
Language:Rust100k 1.5k 56.1k13k
servo
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
Language:Rust28.9k 511 12.9k3.1k

camelid's Repositories

camelid/type-layout
Artifact for "Filling a Niche: Using Spare Bits to Optimize Data Representation"
Language:Rust4 1 01
camelid/rust
Empowering everyone to build reliable and efficient software.
Language:Rust1 1 00
camelid/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 0 00
camelid/blog.rust-lang.org
The Rust Programming Language Blog
Language:Rust0 0 00
camelid/calendar
Calendars for Rust project teams
0 0 00
camelid/cargo
The Rust package manager
Language:Rust0 0 00
camelid/ChatDBG
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
Language:Python0 0
camelid/coz
Coz: Causal Profiling
Language:C0 0
camelid/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python
camelid/cwhy
"See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript
Language:C++0 0
camelid/docs.rs
crates.io documentation generator
Language:Rust0 0
camelid/Heap-Layers
Heap Layers: An Extensible Memory Allocation Infrastructure
Language:C++0 0
camelid/libelfin
C++11 ELF/DWARF parser
Language:C++
camelid/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
Language:Rust
camelid/Mesh
A memory allocator that automatically reduces the memory footprint of C/C++ applications.
Language:C++1 0
camelid/minifier-rs
Minifier tool/lib for JS/CSS/JSON files
Language:Rust0 0
camelid/miri
An interpreter for Rust's mid-level intermediate representation
Language:Rust0 0
camelid/miri-test-libstd
Testing the Rust standard library with Miri, continuously
Language:Shell0 0
camelid/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
Language:Rust0 0
camelid/rust-playground
The Rust Playground
Language:Rust0 0
camelid/rust-rfcs
RFCs for changes to Rust
Language:Markdown0 0
camelid/rust-team
Rust teams structure
Language:Rust0 0
camelid/rust-thanks
Celebrate Rust contributors.
camelid/rust-triagebot
Triage Bot
Language:Rust0 0
camelid/rustc-dev-guide
A guide to how rustc works and how to contribute to it.
Language:HTML0 0
camelid/rustfix
Automatically apply the suggestions made by rustc
Language:Rust0 0
camelid/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Language:Rust
camelid/this-week-in-rust
Data for this-week-in-rust.org
camelid/wasmtime
A fast and secure runtime for WebAssembly
Language:Rust
camelid/www.rust-lang.org
The home of the Rust website
Language:Fluent0 0