143 Open source projects that are alternatives of or similar to relic

The Refreshingly Simple Cross-Platform C++ Dataflow / Pipelining / Stream Processing / Reactive Programming Framework

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Yer another array library

Reference implementation for real-time Data Lineage tracking for BigQuery using Audit Logs, ZetaSQL and Dataflow.

End to End Machine Learning with Google Cloud Platform

Version 2 of my Crazy Small CPU

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

TypeDB: a strongly-typed database

Build a real-time website analytics dashboard on GCP using Dataflow, Cloud Memorystore (Redis) and Spring Boot

Move your mouse, generate code from flow chart

O(N log N)-space IPC solver in OCaml

A list of philosophy books and resources.

Data processing framework inspired by PortPHP

Mod for minetest that adds digital circuitry [=minecraft redstone]

TypeDB: a strongly-typed database

Examples of not obvious behaviors for javascript beginner programmers

Pothos demonstration applications

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

Flowgraph package for scalable asynchronous system development

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

Cocoon – a flow-based workflow automation, data mining and visual analytics tool.

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs

The Flix Programming Language

Educational tool for relational algebra

A digital logic simulator

Model finder for higher-order logic

OpenNARS for Research 3.0+

A set of libraries for rapidly developing Pipeline driven micro/macroservices.

A visual systems language for beginners compiled using LLVM

A symbolic model checker for Dynamic Epistemic Logic.

Creative apps to use, build, share, and hack in the browser.

Logic Circuits from the Juice library

Live dataflow programming for microcontrollers and embedded

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

A visual representation and reference to Azure services

Identify and tokenize sensitive data automatically using Cloud DLP and Dataflow

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Find similar elements

JavaScript dataflow graph editor

Fitch style proof constructor

"A collection of functional programming libraries that can be composed together. Unlike a framework, thi.ng is a suite of instruments and you (the user) must be the composer of. Geared towards versatility, not any specific type of music." — @loganpowell via Twitter

Convenient Dataflow pipelines for transforming data between cloud data sources

Distributed Flow-Based Programming via message queues

An efficient graph solver for generating well-formed models

React to any event with serverless functions across clouds

truth-table-generator is a tool that allows to generate a truth table

Python Data Processing library

Generic immutable recursive data representation API targeted at source code models and more.

GCP Variant Transforms

Relational State Machine with a visual inspector

Flow-based and dataflow programming library for Go (golang)

Digital circuit learning platform

Solutions for the book "Language Proof and Logic".

Relational Algebra Interpreter writting in Python and Qt

📚Solutions to Language, Proof and Logic (2nd Edition)

Interactive Network Graph Visualization For Kibana (unmaintained)

ACT hardware description language and core tools.

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.