heidihoward

heidihoward's Stars

• opentofu/opentofu

  OpenTofu lets you declaratively manage your cloud infrastructure.

  Language:Go22.7k119943871

• Shopify/toxiproxy

  :alarm_clock: :fire: A TCP proxy to simulate network and system conditions for chaos and resiliency testing

  Language:Go10.6k561196445

• openzfs/zfs

  OpenZFS on Linux and FreeBSD

  Language:C10.5k4408.3k1.7k

• google-research/arxiv-latex-cleaner

  arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

  Language:Python5.2k3352327

• virtual-kubelet/virtual-kubelet

  Virtual Kubelet is an open source Kubernetes kubelet implementation.

  Language:Go4.2k104376623

• microsoft/CBL-Mariner

  Linux OS for Azure 1P services and edge appliances

  Language:RPM Spec3.9k129356461

• microsoft/SEAL

  Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

  Language:C++3.5k94563705

• tikv/raft-rs

  Raft distributed consensus algorithm implemented in Rust.

  Language:Rust2.9k55155394

• microsoft/restler-fuzzer

  RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.

  Language:Python2.6k35489296

• radius-project/radius

  Radius is a cloud-native, portable application platform that makes app development easier for teams building cloud-native apps.

  Language:Go1.5k183.8k92

• Azure/coco-framework

  The Confidential Consortium Blockchain Framework is an open-source system that enables high-scale, confidential blockchain networks that meet all key enterprise requirements—providing a means to accelerate production enterprise adoption of blockchain technology.

  8302820110

• thingsboard/tbmq

  Open-source, scalable, and fault-tolerant MQTT broker able to handle 4M+ concurrent client connections, supporting at least 3M messages per second throughput per single cluster node with low latency delivery. The cluster mode supports more than 100M concurrently connected clients.

  Language:Java575136247

• veraPDF/veraPDF-library

  Industry supported, open source PDF/A validation library

  Language:Java2702450948

• microsoft/EVA

  Compiler for the SEAL homomorphic encryption library

  Language:C++22393258

• aws/clock-bound

  Used to generate and compare bounded timestamps.

  Language:Rust20214220

• DistCompiler/pgo

  PGo is a source to source compiler from Modular PlusCal specs into Go programs.

  Language:TLA1731813713

• mit-pdos/perennial

  Verifying concurrent crash-safe systems

  Language:Coq146162433

• radius-project/community

  Governance and community material for Radius

  7911158

• robin-thomas/GDFS

  Google Drive File System

  Language:Roff6910515

• AMDESE/sev-guest

  Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.

  Language:C54133627

• asterinas/jinzhao-disk

  Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.

  Language:C3712110

• signalapp/ContactDiscoveryService-Icelake

  Language:C31839

• microsoft/verified-storage

  Storage systems with verified correctness properties

  Language:Rust285014

• thomwiggers/kemtls-experiment

  Experimental implementation of KEMTLS in Rustls

  Language:Python2651312

• ckocaogullar/pudding-protocol

  Language:Jupyter Notebook20301

• cstavr/etcdfs

  etcdfs: A filesystem based on etcd

  Language:Python4302

• jeffa5/themelios

  Language:Rust30

• cauldnz/htlc-for-cbdc

  Hashed Timelock Contracts for ETH, ERC20 and ERC721 on Ethereum

  Language:JavaScript10

• kapilvgit/contract-ledger

  Prototype contract ledger

  Language:C++1

• peterms2021/cbdc

  Language:TypeScript1