pierwill Goto Github PK

a-mir-formality

a PLT redex model of MIR and its type system

alga

Abstract algebra for Rust.

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

bbrs

Playing with a type system from B. Pierce's TAPL book

blog.rust-lang.org

The Rust Programming Language Blog

bson-rust

Encoding and decoding support for BSON in Rust

cargo

The Rust package manager

cargo-incremental

A fuzzing tool for incremental compilation that walks git history

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

codetagger

column-enforce-mode

Highlight text that extends beyond a certain column. Can be used to enforce 80 column rule (well more like suggest, not enforce)

compiler-team

A home for compiler team planning documents, meeting minutes, and other such things.

cosign

Container Signing

crdoc

Generate markdown documentation from Kubernetes Custom Resource Definition (CRD) YAML files

csound

Main repository for Csound

dada-model

Why can't a tree be called Pluplusch?

docs-atlas-cli

Documentation for the Atlas CLI

docs-meta

MongoDB Documentation documentation about documentation

docs-rust

Documentation for the MongoDB Rust Driver

evergreen

A Distributed Continuous Integration System from MongoDB

firecracker

Secure and fast microVMs for serverless computing.

flatbuffers

FlatBuffers: Memory Efficient Serialization Library

flux-redex

Experimental PLT Redex model of the Flux language

gaussiant

Gaussian integers in Rust.

gen-crd-api-reference-docs

API Reference Docs generator for Kubernetes CRDs (used by Knative, Kubeflow and others)

go

The Go programming language

grpc

The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

hashes

Collection of cryptographic hash functions written in pure Rust

hcl

HCL is the HashiCorp configuration language.

heraclitus-oracle

Heraclitus' Oracle: Rust implementation of an Aaronson oracle