All Projects → typeql → Similar Projects or Alternatives

466 Open source projects that are alternatives of or similar to typeql

typedb
TypeDB: a strongly-typed database
Stars: ✭ 3,152 (+1907.64%)
Grakn
TypeDB: a strongly-typed database
Stars: ✭ 2,947 (+1777.07%)
Openllet
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
Stars: ✭ 66 (-57.96%)
Mutual labels:  logic, inference
typedb-client-python
TypeDB Client for Python
Stars: ✭ 57 (-63.69%)
Mutual labels:  typedb, typeql
Opennars
OpenNARS for Research 3.0+
Stars: ✭ 264 (+68.15%)
Mutual labels:  logic, inference
RECCON
This repository contains the dataset and the PyTorch implementations of the models from the paper Recognizing Emotion Cause in Conversations.
Stars: ✭ 126 (-19.75%)
Mutual labels:  inference, reasoning
Ldflex
A JavaScript DSL for querying Linked Data on the Web
Stars: ✭ 123 (-21.66%)
Mutual labels:  query, query-language
Leo-III
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
Stars: ✭ 29 (-81.53%)
Mutual labels:  logic, reasoning
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Stars: ✭ 185 (+17.83%)
Mutual labels:  logic, reasoning
typedb-client-java
TypeDB Client for Java
Stars: ✭ 17 (-89.17%)
Mutual labels:  typedb, typeql
Lomrf
LoMRF is an open-source implementation of Markov Logic Networks
Stars: ✭ 73 (-53.5%)
Mutual labels:  logic, inference
Purescript Selda
A type-safe, high-level SQL library for PureScript
Stars: ✭ 72 (-54.14%)
Mutual labels:  query, query-language
miniql
A tiny JSON-based query language inspired by GraphQL
Stars: ✭ 121 (-22.93%)
Mutual labels:  query, query-language
kql
Kirby's Query Language API combines the flexibility of Kirby's data structures, the power of GraphQL and the simplicity of REST.
Stars: ✭ 120 (-23.57%)
Mutual labels:  query, query-language
Rapidql
Query multiple APIs and DBs and join them in a single query
Stars: ✭ 91 (-42.04%)
Mutual labels:  query, query-language
m-custom-functions
This library contains created mostly pure M-functions without any other languages.
Stars: ✭ 24 (-84.71%)
Mutual labels:  query, query-language
vaultaire
Query DSL and data access utilities for Corda developers.
Stars: ✭ 14 (-91.08%)
Mutual labels:  query, query-language
ethjs-rpc
A super simple module for making low level queries to the Ethereum RPC layer.
Stars: ✭ 14 (-91.08%)
Mutual labels:  query
object-flaw-detector-python
Detect various irregularities of a product as it moves along a conveyor belt.
Stars: ✭ 17 (-89.17%)
Mutual labels:  inference
gsql
GSQL is a structured query language code builder for golang.
Stars: ✭ 106 (-32.48%)
Mutual labels:  query-language
fastener
Functional Zipper for manipulating JSON
Stars: ✭ 54 (-65.61%)
Mutual labels:  query
learn-xquery
A list of great articles, blog posts, and books for learning XQuery
Stars: ✭ 33 (-78.98%)
Mutual labels:  query-language
laravel-slow-query-logger
Slow Query Logger for Laravel 5.6
Stars: ✭ 27 (-82.8%)
Mutual labels:  query
Minecraft-Server-Status
✅一个用于显示服务器在线信息及其他内容的网站
Stars: ✭ 22 (-85.99%)
Mutual labels:  query
app
Monorepo for the client, server, etc. of the Debate Map website.
Stars: ✭ 53 (-66.24%)
Mutual labels:  reasoning
percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Stars: ✭ 285 (+81.53%)
Mutual labels:  query-language
Query-Tool
The QueryTool is a library that allows easier and faster connections with Postgres databases. Whit it, you can make insertions, selections, updates and deletions in the database in a simple and effective way.
Stars: ✭ 28 (-82.17%)
Mutual labels:  query
causaldag
Python package for the creation, manipulation, and learning of Causal DAGs
Stars: ✭ 82 (-47.77%)
Mutual labels:  inference
antares
Digital circuit learning platform
Stars: ✭ 15 (-90.45%)
Mutual labels:  logic
mistql
A miniature lisp-like language for querying JSON-like structures. Tuned for clientside ML feature extraction.
Stars: ✭ 260 (+65.61%)
Mutual labels:  query
URLQueryItemEncoder
A Swift Encoder for encoding any Encodable value into an array of URLQueryItem.
Stars: ✭ 60 (-61.78%)
Mutual labels:  query
visions
Type System for Data Analysis in Python
Stars: ✭ 136 (-13.38%)
Mutual labels:  type-system
searchable
Pattern-matching search and reusable queries in laravel.
Stars: ✭ 28 (-82.17%)
Mutual labels:  query
relic
Functional relational programming for Clojure(Script).
Stars: ✭ 116 (-26.11%)
Mutual labels:  logic
linqjs
use linq and lambda in javascript on es6, can use linq function in an Object or an Array or a String value | 一个方便对数组、字典、树形数据进行操作、筛选等操作的工具库
Stars: ✭ 17 (-89.17%)
Mutual labels:  query
FATE-Serving
A scalable, high-performance serving system for federated learning models
Stars: ✭ 107 (-31.85%)
Mutual labels:  inference
chainer-dense-fusion
Chainer implementation of Dense Fusion
Stars: ✭ 21 (-86.62%)
Mutual labels:  inference
sql-concat
A MySQL query builder
Stars: ✭ 14 (-91.08%)
Mutual labels:  query
JOCI
Ordinal Common-sense Inference
Stars: ✭ 27 (-82.8%)
Mutual labels:  inference
noisy-networks-measurements
Noisy network measurement with stan
Stars: ✭ 42 (-73.25%)
Mutual labels:  inference
vulcan
A JavaScript propositional logic and resolution library
Stars: ✭ 56 (-64.33%)
Mutual labels:  logic
Ejercicios-Practicos
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
Stars: ✭ 316 (+101.27%)
Mutual labels:  logic
hoice
An ICE-based predicate synthesizer for Horn clauses.
Stars: ✭ 41 (-73.89%)
Mutual labels:  inference
REInfer
Runtime Extended Inference for json data.
Stars: ✭ 23 (-85.35%)
Mutual labels:  type-system
VIATRA-Generator
An efficient graph solver for generating well-formed models
Stars: ✭ 21 (-86.62%)
Mutual labels:  logic
yql-plus
The YQL+ parser, execution engine, and source SDK.
Stars: ✭ 36 (-77.07%)
Mutual labels:  query-language
jellex
TUI to filter JSON and JSON Lines data with Python syntax
Stars: ✭ 41 (-73.89%)
Mutual labels:  query
TIL
Today I Learned
Stars: ✭ 43 (-72.61%)
Mutual labels:  query
WindowsMonitor
WMI namespaces and classes
Stars: ✭ 15 (-90.45%)
Mutual labels:  query
mctools
Minecraft Connection Tools - Python implementations of common Minecraft protocols.
Stars: ✭ 27 (-82.8%)
Mutual labels:  query
forestError
A Unified Framework for Random Forest Prediction Error Estimation
Stars: ✭ 23 (-85.35%)
Mutual labels:  inference
aws-lambda-docker-serverless-inference
Serve scikit-learn, XGBoost, TensorFlow, and PyTorch models with AWS Lambda container images support.
Stars: ✭ 56 (-64.33%)
Mutual labels:  inference
react-query-builder
Simple, configurable react query builder
Stars: ✭ 37 (-76.43%)
Mutual labels:  query
active-persistence
Active Persistence is a implementation of Active Record Query Interface for JPA that makes it easy and fun.
Stars: ✭ 14 (-91.08%)
Mutual labels:  query
LogicCircuits.jl
Logic Circuits from the Juice library
Stars: ✭ 39 (-75.16%)
Mutual labels:  logic
Typology
Swift type checking and semantic analysis for developer tools
Stars: ✭ 68 (-56.69%)
Mutual labels:  type-system
go-query
⚡ Blazingly fast query engine
Stars: ✭ 16 (-89.81%)
Mutual labels:  query
sqrs
🚌SQRS is a JavaScript library for implementing CQRS pattern.
Stars: ✭ 23 (-85.35%)
Mutual labels:  query
tix
[WIP] A type system for nix
Stars: ✭ 59 (-62.42%)
Mutual labels:  type-system
ci4-album
🔥 CodeIgniter 4 example Album module uses Domain Driven Design Architecture with Tactical Pattern
Stars: ✭ 67 (-57.32%)
Mutual labels:  query
1-60 of 466 similar projects