cdouglas

ObliDB

An Oblivious General-Purpose SQL Database for the Cloud

FaCT

Flexible and Constant Time Programming Language

steampipe

Zero-ETL, infinite possibilities. Live query APIs, code & more with SQL. No DB required.

dist-systems-group

Common repository for Tex, Scripts, etc.

stasis

Stasis is a flexible transactional storage library that is geared toward high-performance applications and system developers. It supports concurrent transactional storage, and no-FORCE/STEAL buffer management.

cyberchef-recipes

A list of cyber-chef recipes and curated links

database-stream-processor

Streaming and Incremental Computation Framework

SHARDS-C

SHARDS implementation in C.

checkmake

experimental linter/analyzer for Makefiles

kaniko

Build Container Images In Kubernetes

artisan

artisan: visual scope for coffee roasters

macro-lisp

Lisp-like DSL for Rust language

OpenLogic

An open-source, customizable intermediate logic textbook

riker

Easily build efficient, highly concurrent and resilient applications. An Actor Framework for Rust.

aqueduct

Aqueduct is no longer being maintained. Aqueduct allows you to run LLM and ML workloads on any cloud infrastructure.

bud-paxos

Experimenting with implementing things in bud

consensus-tlaplus

race

actor based framework for building event driven, distributed simulations

differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

substrait

A cross platform way to express data transformation, relational algebra, standardized record expression and plans.

morel

Standard ML interpreter, with relational extensions, implemented in Java

cspec

Verifying concurrent code with layers and movers

RoaringBitmap

A better compressed bitset in Java

roaring-rs

A better compressed bitset in Rust

bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

ML-For-Beginners

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

Halide

a language for fast, portable data-parallel computation

postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

community