Language based on Rewriting Logic

A curated list of awesome open source workflow engines

NodeJS module to create polyfill bundles tailored to individual user-agents.

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

比 MySQL 和 MongoDB 快10倍的 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

High performance server-side application framework

Fastest RPC in the west

Distributed Fine-Grained Finite State Machines with Kafka