urbint / dog Goto Github PK
View Code? Open in Web Editor NEWDatalog lexer, parser, pretty-printer and quasi-quoter.
Home Page: https://docs.racket-lang.org/datalog/datalog.html
License: BSD 3-Clause "New" or "Revised" License
Datalog lexer, parser, pretty-printer and quasi-quoter.
Home Page: https://docs.racket-lang.org/datalog/datalog.html
License: BSD 3-Clause "New" or "Revised" License
Datomic does a really nice thing where it extends the predicate semantics of Datalog to handle a Time component on all edges, with BIPs (built-in-predicates) to handle "now", "between", etc. It would be nice if this handled that natively
There's a Magic Sets implementation for disjunctive datalog (DLV): https://www.sciencedirect.com/science/article/pii/S0004370212000562.
Haven't done much research, but there's likely also support for DLN (Datalog with Negation) somewhere
The Z3 SMT solver can evaluate datalog queries / horn clauses. There is a haskell package for interacting with Z3. Consider a Datalog.Interpreter
module that uses this as a backend.
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.