Alternatives and similar repositories for logica

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

• 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,473Updated 2 years ago
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,904Updated 2 months ago
• terminusdb / terminusdb
  TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
  ☆3,167Updated 2 weeks ago
• cozodb / cozo
  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
  ☆3,842Updated last year
• MaterializeInc / materialize
  The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL
  ☆6,225Updated this week
• malloydata / malloy
  Malloy is a modern open source language for describing data relationships and transformations.
  ☆2,383Updated last week
• google / googlesql
  GoogleSQL(formerly ZetaSQL) - Analyzer Framework for SQL
  ☆2,524Updated last week
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,574Updated 2 weeks ago
• flix / flix
  The Flix Programming Language
  ☆2,580Updated this week
• erezsh / Preql
  An interpreted relational query language that compiles to SQL.
  ☆627Updated 3 years ago
• dpapathanasiou / simple-graph
  This is a simple graph database in SQLite, inspired by "SQLite as a document database"
  ☆1,499Updated 11 months ago
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,371Updated 3 weeks ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,797Updated last month
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,302Updated last week
• xtdb / xtdb
  An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
  ☆2,916Updated this week
• google / mangle
  ☆2,907Updated this week
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,921Updated last week
• unisonweb / unison
  A friendly programming language from the future
  ☆6,471Updated this week
• darklang / dark
  Darklang main repo, including language, backend, and infra
  ☆2,141Updated this week
• PRQL / prql
  PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
  ☆10,675Updated this week
• feenkcom / gtoolkit
  Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
  ☆1,474Updated this week
• HigherOrderCO / Kind
  A modern proof language
  ☆3,718Updated last year
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆778Updated 3 months ago
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,411Updated last month
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,849Updated 3 weeks ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆529Updated 3 years ago
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,383Updated this week
• losfair / mvsqlite
  Distributed, MVCC SQLite that runs on FoundationDB.
  ☆1,525Updated this week
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆631Updated 2 years ago
• substrait-io / substrait
  A cross platform way to express data transformation, relational algebra, standardized record expression and plans.
  ☆1,464Updated this week