typedbTypeDB: a strongly-typed database
Stars: ✭ 3,152 (+1907.64%)
GraknTypeDB: a strongly-typed database
Stars: ✭ 2,947 (+1777.07%)
OpenlletOpenllet is an OWL 2 reasoner in Java, build on top of Pellet.
Stars: ✭ 66 (-57.96%)
OpennarsOpenNARS for Research 3.0+
Stars: ✭ 264 (+68.15%)
RECCONThis repository contains the dataset and the PyTorch implementations of the models from the paper Recognizing Emotion Cause in Conversations.
Stars: ✭ 126 (-19.75%)
LdflexA JavaScript DSL for querying Linked Data on the Web
Stars: ✭ 123 (-21.66%)
Leo-IIIAn Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
Stars: ✭ 29 (-81.53%)
awesome-rust-formalized-reasoningAn 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%)
LomrfLoMRF is an open-source implementation of Markov Logic Networks
Stars: ✭ 73 (-53.5%)
Purescript SeldaA type-safe, high-level SQL library for PureScript
Stars: ✭ 72 (-54.14%)
miniqlA tiny JSON-based query language inspired by GraphQL
Stars: ✭ 121 (-22.93%)
kqlKirby'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%)
RapidqlQuery multiple APIs and DBs and join them in a single query
Stars: ✭ 91 (-42.04%)
m-custom-functionsThis library contains created mostly pure M-functions without any other languages.
Stars: ✭ 24 (-84.71%)
vaultaireQuery DSL and data access utilities for Corda developers.
Stars: ✭ 14 (-91.08%)
ethjs-rpcA super simple module for making low level queries to the Ethereum RPC layer.
Stars: ✭ 14 (-91.08%)
gsqlGSQL is a structured query language code builder for golang.
Stars: ✭ 106 (-32.48%)
fastenerFunctional Zipper for manipulating JSON
Stars: ✭ 54 (-65.61%)
learn-xqueryA list of great articles, blog posts, and books for learning XQuery
Stars: ✭ 33 (-78.98%)
appMonorepo for the client, server, etc. of the Debate Map website.
Stars: ✭ 53 (-66.24%)
percival📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Stars: ✭ 285 (+81.53%)
Query-ToolThe 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%)
causaldagPython package for the creation, manipulation, and learning of Causal DAGs
Stars: ✭ 82 (-47.77%)
antaresDigital circuit learning platform
Stars: ✭ 15 (-90.45%)
mistqlA miniature lisp-like language for querying JSON-like structures. Tuned for clientside ML feature extraction.
Stars: ✭ 260 (+65.61%)
URLQueryItemEncoderA Swift Encoder for encoding any Encodable value into an array of URLQueryItem.
Stars: ✭ 60 (-61.78%)
visionsType System for Data Analysis in Python
Stars: ✭ 136 (-13.38%)
searchablePattern-matching search and reusable queries in laravel.
Stars: ✭ 28 (-82.17%)
relicFunctional relational programming for Clojure(Script).
Stars: ✭ 116 (-26.11%)
linqjsuse 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%)
FATE-ServingA scalable, high-performance serving system for federated learning models
Stars: ✭ 107 (-31.85%)
sql-concatA MySQL query builder
Stars: ✭ 14 (-91.08%)
JOCIOrdinal Common-sense Inference
Stars: ✭ 27 (-82.8%)
vulcanA JavaScript propositional logic and resolution library
Stars: ✭ 56 (-64.33%)
Ejercicios-PracticosMejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
Stars: ✭ 316 (+101.27%)
hoiceAn ICE-based predicate synthesizer for Horn clauses.
Stars: ✭ 41 (-73.89%)
REInferRuntime Extended Inference for json data.
Stars: ✭ 23 (-85.35%)
VIATRA-GeneratorAn efficient graph solver for generating well-formed models
Stars: ✭ 21 (-86.62%)
yql-plusThe YQL+ parser, execution engine, and source SDK.
Stars: ✭ 36 (-77.07%)
jellexTUI to filter JSON and JSON Lines data with Python syntax
Stars: ✭ 41 (-73.89%)
TILToday I Learned
Stars: ✭ 43 (-72.61%)
mctoolsMinecraft Connection Tools - Python implementations of common Minecraft protocols.
Stars: ✭ 27 (-82.8%)
forestErrorA Unified Framework for Random Forest Prediction Error Estimation
Stars: ✭ 23 (-85.35%)
active-persistenceActive Persistence is a implementation of Active Record Query Interface for JPA that makes it easy and fun.
Stars: ✭ 14 (-91.08%)
TypologySwift type checking and semantic analysis for developer tools
Stars: ✭ 68 (-56.69%)
go-query⚡ Blazingly fast query engine
Stars: ✭ 16 (-89.81%)
sqrs🚌SQRS is a JavaScript library for implementing CQRS pattern.
Stars: ✭ 23 (-85.35%)
tix[WIP] A type system for nix
Stars: ✭ 59 (-62.42%)
ci4-album🔥 CodeIgniter 4 example Album module uses Domain Driven Design Architecture with Tactical Pattern
Stars: ✭ 67 (-57.32%)