trankmichael's Stars
hashicorp/nomad
Nomad is an easy-to-use, flexible, and performant workload orchestrator that can deploy a mix of microservice, batch, containerized, and non-containerized applications. Nomad is easy to operate and scale and has native Consul and Vault integrations.
drand/drand
🎲 A Distributed Randomness Beacon Daemon - Go implementation
pulumi/pulumi
Pulumi - Infrastructure as Code in any programming language 🚀
apache/arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
pachyderm/pachyderm
Data-Centric Pipelines and Data Versioning
kubernetes/minikube
Run Kubernetes locally
linkerd/linkerd2-proxy
A purpose-built proxy for the Linkerd service mesh. Written in Rust.
databendlabs/databend
𝗗𝗮𝘁𝗮, 𝗔𝗻𝗮𝗹𝘆𝘁𝗶𝗰𝘀 & 𝗔𝗜. Modern alternative to Snowflake. Cost-effective and simple for massive-scale analytics. https://databend.com
gnosis/dex-research
Collection of research papers written within Gnosis
Gaussian-Process/solidity-sqrt
tendermint/tendermint
⟁ Tendermint Core (BFT Consensus) in Go
fravoll/solidity-patterns
A compilation of patterns and best practices for the smart contract programming language Solidity
TimelyDataflow/differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
redshiftzero/curves-1
Implementations of popular elliptic curves
urbit/awesome-urbit
A curated collection of projects and tools in the Urbit ecosystem.
sympy/sympy
A computer algebra system written in pure Python
tridentli/trident
Trident is a trusted and secure communication platform for enabling better communication between groups of trusted parties
quora/asynq
Python library for asynchronous programming
saltstack/salt
Software to automate the management and configuration of any infrastructure or application at scale. Get access to the Salt software package repository here:
kpcyrd/sn0int
Semi-automatic OSINT framework and package manager
pyeve/cerberus
Lightweight, extensible data validation library for Python
certtools/intelmq
IntelMQ is a solution for IT security teams for collecting and processing security feeds using a message queuing protocol.
dask/dask
Parallel computing with task scheduling
requests-cache/requests-cache
Persistent HTTP cache for python requests
angr/angr
A powerful and user-friendly binary analysis platform!
apache/airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
TimelyDataflow/timely-dataflow
A modular implementation of timely dataflow in Rust
networkx/networkx
Network Analysis in Python
uber-archive/focuson
A tool to surface security issues in python code
wikilinks/neleval
Entity disambiguation evaluation and error analysis tool