ehoner's Stars
timeplus-io/proton
A streaming SQL engine, a fast and lightweight alternative to ksqlDB and Apache Flink, 🚀 powered by ClickHouse.
cdleon/awesome-terminals
Terminal Emulators
Calvin-L/util
Utility scripts and wisdom for myself. Someone else might find it useful too.
lemmy/BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
linkedin/venice
Venice, Derived Data Platform for Planet-Scale Workloads.
apache/flink-kubernetes-operator
Apache Flink Kubernetes Operator
envoyproxy/java-control-plane
Java implementation of an Envoy gRPC control plane
envoyproxy/envoy
Cloud-native high-performance edge/middle/service proxy
emissary-ingress/emissary
open source Kubernetes-native API gateway for microservices built on the Envoy Proxy
eam/libcrange
Range parsing library for managing sets of hostnames, ips, clusters, roles and other operational data.
linkedin/school-of-sre
At LinkedIn, we are using this curriculum for onboarding our entry-level talents into the SRE role.
mockito/testing-workshop
Java testing workshop project for exchanging code and team code reviews
matthewmueller/date
Date() for humans
linkedin/pygradle
Using Gradle to build Python projects
stanch/reftree
Automatically generated diagrams and animations for Scala data structures
almond-sh/examples
A collection of Jupyter notebooks showing what you can do with the almond Scala kernel.
SystemFw/upperbound
A purely functional rate limiter
monadplus/scala-lenses
Diving into Optics through https://github.com/julien-truffaut/Monocle.
ghostdogpr/zio-cheatsheet
ZIO Cheat Sheet
EncodePanda/make-your-programs-free
kubukoz/sup
Composable, purely functional healthchecks in Scala.
isovector/thinking-with-types
📖 source material for Thinking with Types
vlovgr/actors-cats-effect-fs2
Replacing Akka Actors with Cats Effect and FS2
ccadllc/cedi-dtrace
Provides a functional API for tracing programs across system and network boundaries.
pheymann/typedapi
Build your web API on the type level.
fp-tower/types-vs-tests
Tab vs spaces, vim vs emacs, types vs tests, our community is full of these conflicts. In this talk, we'll explore the latter: what is the impact of types in our programs? Can types help write more efficient tests? If so, how?
Chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
ChristopherDavenport/http4s-static-resource-example
dgryski/awesome-consensus
Awesome list for Paxos and friends
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source