Alternatives and similar repositories for logica

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

• google / mangle
  ☆1,124Updated 3 weeks ago
• malloydata / malloy
  Malloy is an experimental language for describing data relationships and transformations.
  ☆2,189Updated last week
• terminusdb / terminusdb
  TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
  ☆3,004Updated 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,444Updated 2 years ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,586Updated this week
• MaterializeInc / materialize
  Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.
  ☆6,067Updated this week
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,768Updated last week
• cozodb / cozo
  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
  ☆3,671Updated 8 months ago
• flix / flix
  The Flix Programming Language
  ☆2,437Updated this week
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,891Updated 2 weeks ago
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,084Updated this week
• PRQL / prql
  PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
  ☆10,375Updated this week
• HigherOrderCO / Kind
  A modern proof language
  ☆3,689Updated 6 months ago
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,348Updated 3 months ago
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,706Updated this week
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,266Updated last week
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,237Updated this week
• unisonweb / unison
  A friendly programming language from the future
  ☆6,142Updated this week
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,327Updated this week
• google / zetasql
  ZetaSQL - Analyzer Framework for SQL
  ☆2,415Updated last month
• jamii / dida
  Differential dataflow for mere mortals
  ☆522Updated 3 years ago
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,484Updated 3 weeks ago
• elfshaker / elfshaker
  elfshaker stores binary objects efficiently
  ☆2,311Updated last month
• erezsh / Preql
  An interpreted relational query language that compiles to SQL.
  ☆622Updated 2 years ago
• enso-org / enso
  Enso Analytics is a self-service data prep and analysis platform designed for data teams.
  ☆7,434Updated this week
• jfecher / ante
  A safe, easy systems language
  ☆2,095Updated 2 weeks ago
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,759Updated 4 months ago
• xtdb / xtdb
  An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
  ☆2,754Updated this week
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆772Updated last month
• feenkcom / gtoolkit
  Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
  ☆1,391Updated this week