heavypackets Goto Github PK

bind-restapi

A RESTful json api to BIND DNS

chemlab

The chemistry library you were waiting for

code

Source Code for Go In Action examples

dcos-stack-deploy

donutsalon

:donut:

franz

Franz is a free messaging app for services like WhatsApp, Slack, Messenger and many more.

fstarlang.github.io

The website of all things F*

grpc-rs

The gRPC library for Rust built on C Core library and futures

incognito-chain

A platform for decentralized privacy coins

markdown-resume

Generate a responsive CSS3 and HTML5 resume with Markdown, with optional PDF output.

prezo

Talk slides and presentations

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

rocket_cors

Cross-origin resource sharing (CORS) for Rocket.rs applications

rust-iterator-emoji

Learn Rust iterator methods via emoji

rust-openssl

OpenSSL bindings for Rust

rust-spiffe

Rust SPIFFE library -- Workload API client

rustup.rs

The Rust toolchain installer

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)

safe

Working Group Proposal: Secure Access for Everyone (SAFE)

simple-secrets

Simple API driven secrets store written in Rust for demo purposes

skr

Skattr DSL (skr) implementation

smartthingspublic

SmartThings open-source DeviceTypeHandlers and SmartApps code

spiffe

The SPIFFE Project

spiffe-telemetry-demo

spire

The SPIFFE Runtime Environment

spire-centos

SPIFFE SPIRE servercontainer image, using Centos 7 base image

technical-resume

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

trelabels

Trelabels for Trello