Signal-temporal-logic Alternatives

Similar projects and alternatives to signal-temporal-logic based on common topics and language

• clangd

  52 1,307 2.2 Shell signal-temporal-logic VS clangd

  clangd language server

  

• include-what-you-use

  39 3,819 9.4 C++ signal-temporal-logic VS include-what-you-use

  A tool for use with clang to analyze #includes in C and C++ source files

  

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

  

• coc-clangd

  12 734 8.5 TypeScript signal-temporal-logic VS coc-clangd

  clangd extension for coc.nvim

  

• entt

  79 9,447 9.8 C++ signal-temporal-logic VS entt

  Gaming meets modern C++ - a fast and reliable entity component system (ECS) and much more

• advent_of_code

  8 42 8.0 C++ signal-temporal-logic VS advent_of_code

  This repository contains solutions to each of the problems in Advent of Code 2017, 2018, 2019, 2020, 2021, 2022 and 2023 in C++ (and 2020 in Python as well)

• modern-cpp-tutorial

  3 23,124 3.4 C++ signal-temporal-logic VS modern-cpp-tutorial

  📚 Modern C++ Tutorial: C++11/14/17/20 On the Fly | https://changkun.de/modern-cpp/

• alpaca

  5 413 5.5 C++ signal-temporal-logic VS alpaca

  Serialization library written in C++17 - Pack C++ structs into a compact byte-array without any macros or boilerplate code (by p-ranav)

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