David Tolnay (dtolnay)

dtolnay

Geek Repo

Company:0xF9BA143B95FF6D82

Location:Redwood City, California

Twitter:@davidtolnay

Github PK Tool:Github PK Tool


Organizations
jqlang
llvm
rust-lang
rust-lang-nursery
serde-rs

David Tolnay's starred repositories

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Language:RustLicense:NOASSERTIONStargazers:35755Issues:170Issues:5752

ruff

An extremely fast Python linter and code formatter, written in Rust.

Language:RustLicense:MITStargazers:27834Issues:77Issues:4525

zstd

Zstandard - Fast real-time compression algorithm

Language:CLicense:NOASSERTIONStargazers:22630Issues:412Issues:1373

llama3

The official Meta Llama 3 GitHub site

Language:PythonLicense:NOASSERTIONStargazers:21800Issues:173Issues:168

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

rye

a Hassle-Free Python Experience

Language:RustLicense:MITStargazers:11860Issues:55Issues:507

sanitizers

AddressSanitizer, ThreadSanitizer, MemorySanitizer

Language:CLicense:NOASSERTIONStargazers:10928Issues:348Issues:1690

jj

A Git-compatible VCS that is both simple and powerful

Language:RustLicense:Apache-2.0Stargazers:6951Issues:50Issues:640

deskhop

Fast Desktop Switching Device

Language:CLicense:GPL-3.0Stargazers:5922Issues:50Issues:74

sccache

Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.

Language:RustLicense:Apache-2.0Stargazers:5478Issues:50Issues:847

tracing

Application level tracing for Rust.

Language:RustLicense:MITStargazers:5042Issues:56Issues:988

embassy

Modern embedded framework, using Rust and async.

Language:RustLicense:Apache-2.0Stargazers:4633Issues:42Issues:699

zio

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Language:ScalaLicense:Apache-2.0Stargazers:4012Issues:112Issues:2519

crates.io

The Rust package registry

Language:RustLicense:Apache-2.0Stargazers:2836Issues:62Issues:1287

jaq

A jq clone focussed on correctness, speed, and simplicity

Language:RustLicense:MITStargazers:2549Issues:19Issues:104

circle

The compiler is available for download. Get it!

latex2e

The LaTeX2e kernel

Language:TeXLicense:LPPL-1.3cStargazers:1803Issues:65Issues:846

git2-rs

libgit2 bindings for Rust

Language:RustLicense:Apache-2.0Stargazers:1618Issues:23Issues:459

LibCST

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

Language:PythonLicense:NOASSERTIONStargazers:1446Issues:43Issues:311

josh

Just One Single History

Language:RustLicense:MITStargazers:1429Issues:9Issues:97

DeArrow

Crowdsourcing better titles and thumbnails on YouTube

Language:TypeScriptLicense:GPL-3.0Stargazers:1168Issues:5Issues:212

fluent-rs

Rust implementation of Project Fluent

Language:RustLicense:Apache-2.0Stargazers:1031Issues:17Issues:157

riscv

Low level access to RISC-V processors

rust-base64

base64, in rust

Language:RustLicense:Apache-2.0Stargazers:583Issues:12Issues:113

dotslash

Simplified executable deployment

Language:RustLicense:Apache-2.0Stargazers:530Issues:14Issues:20

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Language:CoqLicense:AGPL-3.0Stargazers:322Issues:10Issues:237

rustc-demangle

Rust symbol demangling

Language:RustLicense:Apache-2.0Stargazers:223Issues:22Issues:28

rust-sel4

Rust support for seL4 userspace

Wacro

Build Swift Macros with WebAssembly

Language:SwiftLicense:MITStargazers:58Issues:4Issues:0

rustc-build-sysroot

Build a rustc sysroot with custom flags

Language:RustLicense:Apache-2.0Stargazers:12Issues:4Issues:5