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

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

Go Taint CHeck Analyser

A general framework for optimizing DNN dataflow on systolic array

Deploy Google Cloud log export to Splunk using Terraform

By using this app users can report the potholes on road by clicking a photo via our app and if a pothole is detected by Machine Learning modal then it is saved to our Database from where officials can view the specifics like location,reported by and official can resolve the request.User are notified by email for every update regarding their request

A JavaScript propositional logic and resolution library

A browser for Hacker News's Ask HN: Who's Hiring, with Matrix Inside(tm)

BDD-based implementation of Datalog

Relational data pipelines for the science lab

DTask is a scheduler for statically dependent tasks.

Build and evaluate JsonLogic with React components

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

Communications blocks and support libraries

Speech Analysis Framework, a collection of components and code from Google Cloud that you can use to transcribe audio files to create analytics.

DFiant: A Dataflow Hardware Descripition Language

RO is an ontology of relations for use with biological ontologies

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

Using Google Cloud, this project is an example of how to detect anomalies in financial, technical indicators by modeling their expected distribution and thus inform when the Relative Strength Indicator (RSI) is unreliable.

Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.

Haskell bindings for PicoSAT solver

Union, Intersect, and Difference set operations for ActiveRecord (also, SQL's UnionAll).

Functional dataflow through composable computations

A Python framework for data processing on GCP.

A free, open source, online digital circuit/logic designer.

INACTIVE: Move your mouse, generate code from flow chart

Solutions for the book "Language Proof and Logic".

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

Yer another array library

End to End Machine Learning with Google Cloud Platform

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

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

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

Data processing framework inspired by PortPHP

TypeDB: a strongly-typed database

Pothos demonstration applications

Flowgraph package for scalable asynchronous system development

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

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

Educational tool for relational algebra

Model finder for higher-order logic

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

A symbolic model checker for Dynamic Epistemic Logic.

Logic Circuits from the Juice library

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

Identify and tokenize sensitive data automatically using Cloud DLP and Dataflow

Find similar elements

Fitch style proof constructor

Convenient Dataflow pipelines for transforming data between cloud data sources

An efficient graph solver for generating well-formed models

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

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

Relational State Machine with a visual inspector

Digital circuit learning platform

Relational Algebra, now with more algebra!

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)