Alternatives and similar repositories for logica:

Users that are interested in logica are comparing it to the libraries listed below

• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,680Updated last week
• cozodb / cozo
  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
  ☆3,602Updated 4 months ago
• terminusdb / terminusdb
  TerminusDB is a distributed database with a collaboration model
  ☆2,917Updated this week
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,186Updated this week
• MaterializeInc / materialize
  Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.
  ☆5,959Updated this week
• vmware-archive / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,403Updated last year
• google / zetasql
  ZetaSQL - Analyzer Framework for SQL
  ☆2,386Updated 3 weeks ago
• google / mangle
  ☆1,101Updated 2 weeks ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,484Updated this week
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆615Updated 2 years ago
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,477Updated last month
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,194Updated this week
• flix / flix
  The Flix Programming Language
  ☆2,268Updated this week
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,299Updated 2 weeks ago
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆758Updated this week
• unisonweb / unison
  A friendly programming language from the future
  ☆5,982Updated this week
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆943Updated this week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,648Updated last week
• BlazingDB / blazingsql
  BlazingSQL is a lightweight, GPU accelerated, SQL engine for Python. Built on RAPIDS cuDF.
  ☆1,960Updated 2 years ago
• elfshaker / elfshaker
  elfshaker stores binary objects efficiently
  ☆2,303Updated 7 months ago
• PRQL / prql
  PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
  ☆10,217Updated this week
• apache / datafusion
  Apache DataFusion SQL Query Engine
  ☆7,073Updated this week
• dafny-lang / dafny
  Dafny is a verification-aware programming language
  ☆3,048Updated this week
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,825Updated last week
• enso-org / enso
  Enso Analytics is a self-service data prep and analysis platform designed for data teams.
  ☆7,406Updated this week
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,285Updated this week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,498Updated this week
• uber / queryparser
  Parsing and analysis of Vertica, Hive, and Presto SQL.
  ☆1,080Updated 3 years ago
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,420Updated 3 weeks ago
• losfair / mvsqlite
  Distributed, MVCC SQLite that runs on FoundationDB.
  ☆1,473Updated last week