Alternatives and similar repositories for logica

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

• flix / flix
  The Flix Programming Language
  ☆2,302Updated this week
• google / mangle
  ☆1,113Updated this week
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,743Updated 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,436Updated last year
• terminusdb / terminusdb
  TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
  ☆2,972Updated last week
• cozodb / cozo
  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
  ☆3,644Updated 6 months ago
• xtdb / xtdb
  An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
  ☆2,720Updated this week
• roapi / roapi
  Create full-fledged APIs for slowly moving datasets without writing a single line of code.
  ☆3,312Updated this week
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,245Updated this week
• unisonweb / unison
  A friendly programming language from the future
  ☆6,059Updated this week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,674Updated this week
• MaterializeInc / materialize
  Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.
  ☆6,023Updated this week
• dpapathanasiou / simple-graph
  This is a simple graph database in SQLite, inspired by "SQLite as a document database"
  ☆1,451Updated 4 months ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,525Updated 3 weeks ago
• elfshaker / elfshaker
  elfshaker stores binary objects efficiently
  ☆2,310Updated this week
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆618Updated 2 years ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,680Updated 5 months ago
• roc-lang / roc
  A fast, friendly, functional language.
  ☆5,052Updated this week
• facebookincubator / CG-SQL
  CG/SQL is a compiler that converts a SQL Stored Procedure like language into C for SQLite. SQLite has no stored procedures of its own. …
  ☆397Updated 2 years ago
• PRQL / prql
  PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
  ☆10,310Updated this week
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆1,005Updated this week
• jfecher / ante
  A safe, easy systems language
  ☆2,071Updated 3 weeks ago
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆768Updated 2 weeks ago
• feldera / feldera
  The Feldera Incremental Computation Engine
  ☆1,444Updated this week
• gluesql / gluesql
  GlueSQL is quite sticky. It attaches to anywhere.
  ☆2,845Updated this week
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,320Updated this week
• feenkcom / gtoolkit
  Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
  ☆1,368Updated this week
• cswinter / LocustDB
  Blazingly fast analytics database that will rapidly devour all of your data.
  ☆1,635Updated 2 weeks ago
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,673Updated 6 months ago
• mergestat / mergestat-lite
  Query git repositories with SQL. Generate reports, perform status checks, analyze codebases. 🔍 📊
  ☆3,501Updated 2 weeks ago