eholk Goto Github PK

a-mir-formality

a PLT redex model of MIR and its type system

accelerate-examples

Examples and regression tests for the Accelerate library

adventofcode2020

My solutions to the Advent of Code 2020

arduino-pong

A simple Pong game for the Arduino which uses one of the OLED displays from Adafruit.

arduinoexamples

artifact

The open source design documentation tool for everybody

async-fn-next

async-fundamentals-initiative

azure-sdk-for-rust

This repository is for active development of the *unofficial* Azure SDK for Rust. This repository is *not* supported by the Azure SDK team.

b2g

Boot to Gecko aims to create a complete, standalone operating system for the open web.

backtrace-examples

bdwgc

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)

bench-dot-product

Several variations of a dot product benchmark.

bench-thread-diverge

How much does thread divergence affect GPU performance?

better-backtrace

big-book-ffi

The Big Book of Rust Interop

binaryen

Compiler infrastructure and toolchain library for WebAssembly, in C++

blog.rust-lang.org

The Rust Programming Language Blog

boot2rust

EFI applications in Rust

browserid

Persona is a secure, distributed, and easy to use identification system.

cargo

The Rust package manager

cargo-central

rust-lang.org maintained cargo repository

ckanren

coq-stlc

Proof of type safety for Simply Typed Lambda Calculus in Coq.

cppbench

Lightweight benchmarking harness for C++.

design

WebAssembly Design Documents

docs

Documentation for Particle

dyn-star

ebg

Eric's Blog Generator

edition-guide

A guide to changes between various editions of Rust