Stars
A modular implementation of timely dataflow in Rust
An implementation of differential dataflow using timely dataflow on Rust.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation
Clojure(Script) client for Declarative Dataflow.
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]
A Datalog interpreter implementing the Well-Founded semantics.
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…
Google Cloud Dataflow provides a simple, powerful model for building both batch and streaming parallel data processing pipelines.
A SPARQL query federator of heterogeneous data sources
A set of parsec combinators that parses ISO-Prolog programs
Yadlr is a fuzzy reasoner, using CLP(Q,R) to implement fuzzy algebra on top of three reasoning back-ends: resolution, tableaux, and direct set-theoretic semantics.
An implementation of Sync Adapters for synchronizing SharePoint with a relational database based on Sync Framework
Experimental Compiler for Lazy Functional Language based on Intensional Transformation and Lazy Activation Records
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.