heavypackets
Working on Rust. PL, security, and distributed computing nerd, Dependent types, category theory.
Morgantown, WV
Pinned Repositories
prezo
Talk slides and presentations
rust-iterator-emoji
Learn Rust iterator methods via emoji
rust-spiffe
Rust SPIFFE library -- Workload API client
rusty-datatypes
Procedural generators for singletons, including newtypes & sigma types (dependent pairs), and advanced algebraic datatypes without boilerplate.
rusty-state-graph
Experiments in procedurally generated state machines as graphs (DFA)
simple-secrets
Simple API driven secrets store written in Rust for demo purposes
heavypackets's Repositories
heavypackets/rust-iterator-emoji
Learn Rust iterator methods via emoji
heavypackets/simple-secrets
Simple API driven secrets store written in Rust for demo purposes
heavypackets/rust-spiffe
Rust SPIFFE library -- Workload API client
heavypackets/rusty-datatypes
Procedural generators for singletons, including newtypes & sigma types (dependent pairs), and advanced algebraic datatypes without boilerplate.
heavypackets/prezo
Talk slides and presentations
heavypackets/rusty-state-graph
Experiments in procedurally generated state machines as graphs (DFA)
heavypackets/chemlab
The chemistry library you were waiting for
heavypackets/dcos-stack-deploy
heavypackets/donutsalon
:donut:
heavypackets/franz
Franz is a free messaging app for services like WhatsApp, Slack, Messenger and many more.
heavypackets/fstarlang.github.io
The website of all things F*
heavypackets/grpc-rs
The gRPC library for Rust built on C Core library and futures
heavypackets/incognito-chain
A platform for decentralized privacy coins
heavypackets/markdown-resume
Generate a responsive CSS3 and HTML5 resume with Markdown, with optional PDF output.
heavypackets/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
heavypackets/rocket_cors
Cross-origin resource sharing (CORS) for Rocket.rs applications
heavypackets/rust-openssl
OpenSSL bindings for Rust
heavypackets/rustup.rs
The Rust toolchain installer
heavypackets/safe
Working Group Proposal: Secure Access for Everyone (SAFE)
heavypackets/skr
Skattr DSL (skr) implementation
heavypackets/SmartThingsPublic
SmartThings open-source DeviceTypeHandlers and SmartApps code
heavypackets/spiffe
The SPIFFE Project
heavypackets/spiffe-telemetry-demo
heavypackets/spire
The SPIFFE Runtime Environment
heavypackets/spire-centos
SPIFFE SPIRE servercontainer image, using Centos 7 base image
heavypackets/technical-resume
heavypackets/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
heavypackets/trelabels
Trelabels for Trello
heavypackets/varisat
SAT solver written in Rust
heavypackets/why-rust
Slides from Sealed Rust talk by James Munns at Rust LDN meetup