leskin-in's Stars
alexpate/awesome-design-systems
💅🏻 ⚒ A collection of awesome design systems
aphyr/distsys-class
Class materials for a distributed systems lecture series
karatelabs/karate
Test Automation Made Simple
greenplum-db/gpdb
Greenplum Database - Massively Parallel PostgreSQL for Analytics. An open-source massively parallel data platform for analytics, machine learning and AI.
facebookarchive/grace
Graceful restart & zero downtime deploy for Go servers.
ThrowTheSwitch/Unity
Simple Unit Testing for C
wal-g/wal-g
Archival and Restoration for databases in the Cloud
mkirchner/linked-list-good-taste
Linus Torvalds' linked list argument for good taste, explained
VertaAI/modeldb
Open Source ML Model Versioning, Metadata, and Experiment Management
code-review-checklists/java-concurrency
Checklist for code reviews
hyrise/hyrise
Hyrise is a research in-memory database.
MobilityDB/MobilityDB
MobilityDB is a geospatial trajectory data management & analysis platform, built on PostgreSQL and PostGIS.
confluentinc/librdkafka
The Apache Kafka C/C++ library
xairy/mipt-ctf
A small course on CTF (wargames) for beginners [in Russian]
powa-team/pg_stat_kcache
Gather statistics about physical disk access and CPU consumption done by backends.
kelvich/tlaplus_jupyter
Jupyter kernel for TLA⁺
fraunhoferfokus/acsl-by-example
Public snapshots of "ACSL by Example"
pytorn/hackr
A python library for hackathons.
greenplum-db/pxf
Platform Extension Framework: Federated Query Engine
inverse/termin
Simple PHP script for notifying for a free appointments on the Berlin services website.
afonsonf/ceph-consensus-spec
TLA+ specification of the Ceph consensus algorithm
stephendotcarter/greenplum-syscat-ref
Greenplum System Catalog Reference
adjust/schaufel
liblfds/liblfds
janator/CAOS
clumpytuna/introduction-to-algorithms-2020
oliverralbertini/CtCI
Working on problems from Cracking the Coding Interview (doing them in C).