Awesome Open Source

Programming Languages

Search results for java datalog

10 search results found

Differential Datalog ⭐ 1,221

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 write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

Securify ⭐ 168

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Formulog ⭐ 137

Datalog with support for SMT queries and first-order functional programming

Doop Mirror ⭐ 116

Mirror of Doop: https://bitbucket.org/yanniss/doop

Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation

Abcdatalog ⭐ 34

Datalog that's as easy as ABC.

Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:

A Datalog compiler and library

Souffle Lsp Plugin ⭐ 11

Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin

Maybe the smallest Java Datalog system

Related Searches

Java Spring (21,350)

Java Spring Boot (11,982)

Java Video Game (8,093)

Java Gradle (8,072)

Java Jar (7,931)

Java Docker (6,180)

Java Database (6,015)

Java Mysql (5,954)

Java Sdk (5,864)

Javascript Java (5,468)

1-10 of 10 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.