Topic: datalog Goto Github
Some thing interesting about datalog
Some thing interesting about datalog
datalog,An in-memory datalog implementation for OCaml.
User: c-cube
Home Page: https://c-cube.github.io/datalog
datalog,BDD-based implementation of Datalog
User: chessai
datalog,logic programming with SPARQL
User: cmungall
Home Page: http://www.swi-prolog.org/pack/list?p=sparqlprog
datalog,A reactive query engine built on differential dataflow.
User: comnik
datalog,A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Organization: cozodb
Home Page: https://cozodb.org
datalog,🖖 Prolog-style Logic Programming in pure R
User: dirkschumacher
datalog,Datalog compiler embedded in Rust as a procedural macro
User: ekzhang
datalog,📝 Web-based, reactive Datalog notebooks for data analysis and visualization
User: ekzhang
Home Page: https://percival.ink
datalog,[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Organization: eth-sri
datalog,Securify v2.0
Organization: eth-sri
datalog,Entish is a declarative Datalog-like language for formal RPG rules
User: etherealmachine
datalog,Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
User: evgskv
Home Page: https://logica.dev
datalog,Reactive database environment for your files.
User: filipesilva
datalog,simplified query engine based on logic programming paradigm
User: fogfish
datalog,cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Organization: galoisinc
Home Page: https://galoisinc.github.io/cclyzerpp/
datalog,A precise and scalable pointer analysis for LLVM, written in Ascent
Organization: galoisinc
Home Page: https://galoisinc.github.io/yapall/
datalog,The CodeQL extractor and libraries for Go.
Organization: github
datalog,Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
Organization: graphik-team
Home Page: http://graphik-team.github.io/graal/
datalog,Datalog that's as easy as ABC.
Organization: harvardpl
Home Page: https://harvardpl.github.io/AbcDatalog/
datalog,Datalog with support for SMT queries and first-order functional programming
Organization: harvardpl
Home Page: https://harvardpl.github.io/formulog/
datalog,The React state management library for write-heavy applications
Organization: homebaseio
Home Page: https://homebase.io/docs/homebase-react
datalog,optimize your home bar with ✨logic programming✨
User: ianthehenry
datalog,In-Memory Immutable Graph Structure with Datalog Query Language in Common Lisp
User: inconvergent
Home Page: https://inconvergent.net
datalog,A Clojure implementation of the logic programming language from chapter 4 of SICP
User: jdormit
datalog,Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
User: langston-barrett
datalog,A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
User: luc-tielen
datalog,Haskell bindings for the Souffle datalog language
User: luc-tielen
datalog,A language for building Docker/OCI container images
Organization: modus-continens
Home Page: https://modus-continens.com
datalog,Reactive Reasoning
User: pbonte
datalog,A tool for analyzing LLVM bitcode using Datalog.
Organization: plast-lab
datalog,Mirror of Doop: https://bitbucket.org/yanniss/doop
Organization: plast-lab
datalog,(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
Organization: pysemtec
datalog,A durable Datalog implementation adaptable for distribution.
Organization: replikativ
datalog,Research on integrating datalog & lambda calculus via monotonicity types
User: rntz
Home Page: http://www.rntz.net/datafun/
datalog,Datalog implemented in minikanren
User: rntz
datalog,logic programming in Rust
User: s-arash
datalog,Naively-evaluated Datalog, implemented in Elixir
User: seancribbs
datalog,A curated list of Clojure resources for dealing with graph-like data.
User: simongray
datalog,Clojure(Script) client for Declarative Dataflow.
Organization: sixthnormal
datalog,Store immutable facts and query them with datalog.
Organization: smallhelm
datalog,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.
Organization: souffle-lang
Home Page: http://souffle-lang.github.io/
datalog,EACL: Enterprise Access Control Lists
User: theronic
datalog,TupleNet is a lightweight tool for building virtual-networking
Organization: vipshop
datalog,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.
Organization: vmware
datalog,Utilities for managing Datalog rulesets from Clojure
User: vvvvalvalval
datalog,Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
User: wernsey
datalog,An immutable database for application development and time-travel data compliance, with SQL and XTQL. Developed by @juxt
Organization: xtdb
Home Page: https://xtdb.com
datalog, WinCC Flexible and TIA Portal data log Viewer/ Parser/ Analyzer
User: yuriqdev
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.