Logikaldb Alternatives

Similar projects and alternatives to logikaldb based on common topics and language

• coq

  87 4,602 10.0 OCaml logikaldb VS coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  

• Kotlin-Coroutines-and-Flow-UseCases-on-Android

  3 2,570 3.2 Kotlin logikaldb VS Kotlin-Coroutines-and-Flow-UseCases-on-Android

  🎓 Learning Kotlin Coroutines and Flows for Android by example. 🚀 Sample implementations for real-world Android use cases. 🛠 Unit tests included!

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• river

  1 74 8.6 Kotlin logikaldb VS river

  Extensions & Enterprise Integrations for Kotlin flows (by River-Kt)

  

• fdb-document-layer

  5 204 0.0 C++ logikaldb VS fdb-document-layer

  A document data model on FoundationDB, implementing MongoDB® wire protocol

  

• reactive-mvvm-android

  1 3 0.0 Kotlin logikaldb VS reactive-mvvm-android

  Reactive MVVM with Flows - Showcase Android app 📱

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.