Stars
Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
A collection of basic templates for many uses
Apache Paimon is a lake format that enables building a Realtime Lakehouse Architecture with Flink and Spark for both streaming and batch operations.
Applying Prophecy variables in TLA+ to the Herlihy & Wing paper
A package for conformal prediction with conditional guarantees.
Application of tree modeling on top of conformal prediction to improve local efficiency
Open Source Fantasy Console in pure Rust [Core]
An understandable, fast and scalable Raft Consensus implementation
Stigmergic merging of files over Veilid. Killa beez on the swarm.
Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.
MySQL-compatible HTAP database with Git for Data, vector search, and fulltext search. Cloud-native, AI-ready
µWheel DataFusion Optimizer for speeding up time-based analytics
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
The best repository showing why transformers might not be the answer for time series forecasting and showcasing the best SOTA non transformer models.
The BLOCKSET application is a command line program that can store and retrieve data blocks using a content-dependent tree (CDT) hash function as a universal address of the blocks.