Alternatives and similar repositories for logica

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

• cozodb / cozo
  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
  ☆3,778Updated 11 months ago
• MaterializeInc / materialize
  The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL
  ☆6,181Updated this week
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,863Updated last 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,466Updated 2 years ago
• malloydata / malloy
  Malloy is a modern open source language for describing data relationships and transformations.
  ☆2,301Updated last week
• flix / flix
  The Flix Programming Language
  ☆2,546Updated this week
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,287Updated last week
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,536Updated last week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,755Updated this week
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,322Updated last week
• google / zetasql
  ZetaSQL - Analyzer Framework for SQL
  ☆2,434Updated this week
• terminusdb / terminusdb
  TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
  ☆3,116Updated this week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,782Updated last week
• roapi / roapi
  Create full-fledged APIs for slowly moving datasets without writing a single line of code.
  ☆3,361Updated last month
• dpapathanasiou / simple-graph
  This is a simple graph database in SQLite, inspired by "SQLite as a document database"
  ☆1,484Updated 9 months ago
• erezsh / Preql
  An interpreted relational query language that compiles to SQL.
  ☆625Updated 3 years ago
• google / mangle
  ☆2,855Updated last month
• HigherOrderCO / Kind
  A modern proof language
  ☆3,710Updated 10 months ago
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆777Updated last month
• duckdb / duckdb-wasm
  WebAssembly version of DuckDB
  ☆1,825Updated 2 weeks ago
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆629Updated 2 years ago
• pinterest / querybook
  Querybook is a Big Data Querying UI, combining collocated table metadata and a simple notebook interface.
  ☆2,206Updated last week
• PRQL / prql
  PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
  ☆10,535Updated this week
• apache / datafusion
  Apache DataFusion SQL Query Engine
  ☆8,061Updated last week
• jfecher / ante
  A safe, easy systems language
  ☆2,173Updated this week
• darklang / dark
  Darklang main repo, including language, backend, and infra
  ☆2,114Updated 2 weeks ago
• unisonweb / unison
  A friendly programming language from the future
  ☆6,401Updated this week
• substrait-io / substrait
  A cross platform way to express data transformation, relational algebra, standardized record expression and plans.
  ☆1,436Updated this week
• feenkcom / gtoolkit
  Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
  ☆1,451Updated this week
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,746Updated this week