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,807Updated last year
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,882Updated last month
• 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,470Updated 2 years ago
• terminusdb / terminusdb
  TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
  ☆3,135Updated this week
• MaterializeInc / materialize
  The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL
  ☆6,196Updated this week
• google / mangle
  ☆2,867Updated last week
• roapi / roapi
  Create full-fledged APIs for slowly moving datasets without writing a single line of code.
  ☆3,376Updated last week
• flix / flix
  The Flix Programming Language
  ☆2,562Updated last week
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,583Updated 4 months ago
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,338Updated 2 weeks ago
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,293Updated this week
• dpapathanasiou / simple-graph
  This is a simple graph database in SQLite, inspired by "SQLite as a document database"
  ☆1,490Updated 10 months ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,719Updated 11 months ago
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,405Updated last month
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆777Updated 2 months ago
• xtdb / xtdb
  An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
  ☆2,879Updated last week
• google / zetasql
  ZetaSQL - Analyzer Framework for SQL
  ☆2,446Updated 3 weeks ago
• darklang / dark
  Darklang main repo, including language, backend, and infra
  ☆2,120Updated this week
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,553Updated last month
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,813Updated 2 weeks ago
• PRQL / prql
  PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
  ☆10,586Updated this week
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,373Updated this week
• multiprocessio / datastation
  App to easily query, script, and visualize data from every database, file, and API.
  ☆2,954Updated 2 years ago
• erezsh / Preql
  An interpreted relational query language that compiles to SQL.
  ☆627Updated 3 years ago
• cuelang / cue
  CUE has moved to https://github.com/cue-lang/cue
  ☆3,067Updated 4 years ago
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆632Updated 2 years ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆528Updated 3 years ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,772Updated last week
• cube2222 / octosql
  OctoSQL is a query tool that allows you to join, analyse and transform data from multiple databases and file formats using SQL.
  ☆5,211Updated last year
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,062Updated this week