Alternatives and similar repositories for logica:

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

• vmware / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,399Updated last year
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,631Updated this week
• malloydata / malloy
  Malloy is an experimental language for describing data relationships and transformations.
  ☆2,055Updated this week
• multiprocessio / datastation
  App to easily query, script, and visualize data from every database, file, and API.
  ☆2,912Updated last year
• MaterializeInc / materialize
  Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.
  ☆5,880Updated this week
• cozodb / cozo
  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
  ☆3,522Updated 2 months ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,611Updated 4 months ago
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆610Updated last year
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,868Updated 2 months ago
• trailofbits / graphtage
  A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.
  ☆2,390Updated 9 months ago
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,141Updated this week
• google / mangle
  ☆1,095Updated 2 weeks ago
• cuelang / cue
  CUE has moved to https://github.com/cue-lang/cue
  ☆3,078Updated 3 years ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,418Updated this week
• roapi / roapi
  Create full-fledged APIs for slowly moving datasets without writing a single line of code.
  ☆3,266Updated 3 weeks ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,628Updated 3 weeks ago
• mergestat / mergestat-lite
  Query git repositories with SQL. Generate reports, perform status checks, analyze codebases. 🔍 📊
  ☆3,480Updated this week
• pinterest / querybook
  Querybook is a Big Data Querying UI, combining collocated table metadata and a simple notebook interface.
  ☆2,037Updated this week
• elfshaker / elfshaker
  elfshaker stores binary objects efficiently
  ☆2,302Updated 5 months ago
• losfair / mvsqlite
  Distributed, MVCC SQLite that runs on FoundationDB.
  ☆1,447Updated this week
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,446Updated 9 months ago
• xtdb / xtdb
  An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
  ☆2,615Updated this week
• darklang / dark
  Darklang main repo, including language, backend, and infra
  ☆1,710Updated this week
• multiprocessio / dsq
  Commandline tool for running SQL queries against JSON, CSV, Excel, Parquet, and more.
  ☆3,783Updated last year
• jamii / dida
  Differential dataflow for mere mortals
  ☆517Updated 2 years ago
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,363Updated this week
• obi1kenobi / trustfall
  A query engine for any combination of data sources. Query your files and APIs as if they were databases!
  ☆2,572Updated this week
• terminusdb / terminusdb
  TerminusDB is a distributed database with a collaboration model
  ☆2,846Updated this week
• feldera / feldera
  The Feldera Incremental Computation Engine
  ☆1,149Updated this week
• hydromatic / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆304Updated 2 months ago