Advanced multiple dispatch for Python functions

The Swiss Army Knife for Kafka

One advanced and mature open-source MPP (Massively Parallel Processing) database. Open source alternative to Greenplum Database.

open-gpdb - opensource fork of greenplum database

Language based on Rewriting Logic

A curated list of awesome open source workflow engines

Implementation of higher-order logic in Python

Framework to interpret and transpile JVM bytecode to JavaScript, OpenCL or WebAssembly.

scheduler for kafka messages

Robust multi-prompt delimited control and effect handlers in C/C++

Graphical language server platform for building web-based diagram editors

Boogie

A book about datalog

sprotty-vscode

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Python library for analysis of time series data including dimensionality reduction, clustering, and Markov model estimation

Dafny is a verification-aware programming language

IVM (Incremental View Maintenance) implementation as a PostgreSQL extension

IVM (Incremental View Maintenance) development for PostgreSQL

ELK's layout algorithms for JavaScript

Eclipse Layout Kernel - Automatic layout for Java applications.

A diagramming framework for the web

具有超高并发处理能力的 OLTP 关系数据库

Distributed Prometheus time series database

Automated testing to find logic and performance bugs in database systems

eBPF verifier based on abstract interpretation

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 w…

Algebraic Multigrid Solvers in Python

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Soot - A Java optimization framework