kubum's Stars
sqshq/sampler
Tool for shell commands execution, visualization and alerting. Configured with a simple YAML file.
redpanda-data/redpanda
Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!
nteract/papermill
📚 Parameterize, execute, and analyze notebooks
microsoft/BosqueLanguage
The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.
jozefg/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
kata-containers/runtime
Kata Containers version 1.x runtime (for version 2.x see https://github.com/kata-containers/kata-containers).
tomprimozic/type-systems
Implementations of various type systems in OCaml.
jeremykross/konstellate
Free and Open Source GUI to Visualize Kubernetes Applications.
akka/alpakka-kafka
Alpakka Kafka connector - Alpakka is a Reactive Enterprise Integration library for Java and Scala, based on Reactive Streams and Akka.
JetBrains/intellij-scala
Scala plugin for IntelliJ IDEA
apache/incubator-pekko
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
oleg-py/better-monadic-for
Desugaring scala `for` without implicit `withFilter`s
wvlet/airframe
Essential Building Blocks for Scala
jagajaga/FP-Course-ITMO
Slides and other materials for functional programming lectures ITMO university
granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
stefanprodan/k8s-prom-hpa
Kubernetes Horizontal Pod Autoscaler with Prometheus custom metrics
Anant/awesome-cassandra
A curated list of the best resources in the Cassandra community.
powa-team/pg_qualstats
A PostgreSQL extension for collecting statistics about predicates, helping find what indices are missing
nadia-polikarpova/cse291-program-synthesis
Program Synthesis Course
hawkular/hawkular-metrics
Time Series Metrics Engine based on Cassandra
mhausenblas/krs
A command line tool for capturing and serializing Kubernetes resource statistics in OpenMetrics format
vitorsvieira/dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
cascala/galileo
Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
carldata/timeseries
Time Series library for Scala
softwaremill/neme-plugin
Scala compiler plugin for turning non exhaustive match warnings into errors
phact/CassandraDataModeler
Data Modeler and diagnostic tool for Cassandra
shd/tt2018-conspect
ngcc/ngcc2017
Next-generation Cassandra Conference, September 26, 2017
janschultecom/20181025-strongly-typed-martini
tabdulradi/zio-instrumentation
OpenTracing integration