Graph-trace Alternatives

Similar projects and alternatives to graph-trace based on common topics and language

• coq

  87 4,602 10.0 OCaml graph-trace 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.

  

• learn-you-a-haskell

  77 294 0.0 Makefile graph-trace VS learn-you-a-haskell

  “Learn You a Haskell for Great Good!” by Miran Lipovača

• 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.

  

• inline-js

  2 128 0.0 Haskell graph-trace VS inline-js

  Call JavaScript from Haskell, and vice versa!

  

• Hasura

  227 30,799 9.8 TypeScript graph-trace VS Hasura

  Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.

  

• titan

  0 22 0.0 Haskell graph-trace VS titan

  Testing Infrastructure for Temporal AbstractioNs

  

• NoHoed

  0 2 0.0 Haskell graph-trace VS NoHoed

  Convenience package to preserve debug ability via conditional builds

• ShellCheck

  488 34,934 8.6 Haskell graph-trace VS ShellCheck

  ShellCheck, a static analysis tool for shell scripts

• 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.