Beast code in Giters

Chris Douglas's starred repositories

foedus_code

FOEDUS main source code repository

Language:C++GPL-2.06400

feldera

Feldera Continuous Analytics Platform

Language:RustNOASSERTION30000

Linux auto tiling manager with hot corner support for Openbox, Fluxbox, IceWM, Xfwm, KWin, Marco, Muffin, Mutter and other EWMH compliant window managers using the X11 window system. Therefore, this project provides dynamic tiling for XFCE, LXDE, LXQt, KDE and GNOME (Mate, Deepin, Cinnamon, Budgie) based desktop environments.

Language:GoMIT53400

datatype99

Algebraic data types for C99

Language:CMIT134600

verus

Verified Rust for low-level systems code

Language:RustMIT108600

free-join-1

300

free-join-sigmod-record

Language:TeX100

gravitino

World's most powerful open data catalog for building a high-performance, geo-distributed and federated metadata lake.

Language:JavaApache-2.074300

readyset

Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale read throughput. Under the hood, ReadySet caches the results of cached select statements and incrementally updates these results over time as the underlying data changes.

Language:RustNOASSERTION406800

hive-dwrf

DWRF file format for Hive

Language:JavaApache-2.07700

quiche

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

Language:RustBSD-2-Clause913800

hermitage

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

235200

DBx1000

Language:C++NOASSERTION300

Jungle

An embedded key-value store library specialized for building state machine and log store

Language:C++Apache-2.022000

Rust-Tcp

Implementing TCP In Rust

CC-BY-4.035400

FASTER

Fast persistent recoverable log and key-value store + cache, in C# and C++.

Language:C#MIT625200

CRA

Common Runtime for Applications (CRA) is a software layer (library) that makes it easy to create and deploy distributed dataflow-style applications on top of resource managers such as Kubernetes, YARN, and stand-alone cluster execution.

Language:C#MIT5400

nanotube

Language:LLVMMIT10200

egglog

egraphs + datalog!

Language:RustMIT38600

RVVM

The RISC-V Virtual Machine

Language:CGPL-3.084700

uclid

UCLID5: formal modeling, verification, and synthesis of computational systems

Language:ScalaNOASSERTION13500

seaweedfs

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, cross-DC active-active replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding.

Language:GoApache-2.02180700

cdouglas