datalog   572

« earlier    

Soufflé | Soufflé • A Datalog Synthesis Tool for Static Analysis
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.

Rapid-prototyping for your analysis problems with logic; enabling deep design-space explorations; designed for large-scale static analysis; e.g., points-to analysis for Java, taint-analysis, security checks.

Control flow analysis
datalog  logic  static 
3 days ago by tobym
threatgrid/naga: Datalog based rules engine
Datalog based rules engine. Contribute to threatgrid/naga development by creating an account on GitHub.
rules-engine  datalog 
11 weeks ago by brunns
Crux: Home
Bitemporal modelling is broadly useful for event-based architectures and is a critical requirement for systems in any industry with strong auditing regulations, where you need to be able to answer the question "what did you know and when did you know it?".
database  db  temporal  datalog  clojure  bitemporal  auditing  audit-log 
12 weeks ago by hellsten
Crux: Home
People on HN call it an open source Dataomic. An "unbundled" database that uses Kafka to store transactions (now can use h2, postgres, and others for this instead of Kafka), and RocksDB or LMDB for indexes.

"Crux is an open source document database with bitemporal graph queries." Bitemporal = it stores event time and processing time, great for event-based.

Supports Datalog query interface.

Documents are indexed as triples for "efficient graph queries" (what about deep joins, the problem solved by native graphdbs like dgraph?).
database  clojure  datalog  graph  interesting 
12 weeks ago by tobym

« earlier    

related tags

1989  1993  2012  abcdatalog  active  alternative  architecture  article  audit-log  auditing  berkeley  binary-analysis  bitemporal  blockchain  blog  book  books  broken  bug  clojure  clojurescript  closed-source  comparison  compilers  computerscience  cs  database  databases  dataflow  datafun  datahike  datascript  datomic  db  declarative  dedalus  design  dev  differential-dataflow  differential-datalog  differential  differential_dataflow  discussion  discussions  distributed-systems  docs  documentation  ebook  eql  eve  fail  failure  fp  frp  functional  graph-store  graph  graphprocessing  graphql  graql  haskell  hyperfiddle  in-memory  interesting  intro  iterative  javascript  js  knowledge  language  languages  learning  linearalgebra  linked-data  linkeddata  links  logic-programming  logic  logicblox  logicprogramming  logo  minikanren  naiad  now  opensource  owl  pathom  performance  peter-alvaro  phd  process  proglang  programming-languages  programming  programming_languages  prolang  prolog  python  query  querying  racket  rdf  reactive  reasoner  relational  repl  repo  research  reverse  ruby  rule-engine  rules-engine  rust  slides  software  sql  startup  static  stream  subscription  survey  temporal  theory  tool  tree  tutorial  usage  video  web 

Copy this bookmark:



description:


tags: