SMPT Alternatives

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

• cargo-check-deadlock

  2 17 8.9 Rust SMPT VS cargo-check-deadlock

  Find deadlocks in Rust code with Petri net model checking

• dep-scan

  3 699 8.8 Python SMPT VS dep-scan

  OWASP dep-scan is a next-generation security and risk audit tool based on known vulnerabilities, advisories, and license limitations for project dependencies. Both local repositories and container images are supported as the input, and the tool is ideal for integration.

  

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

  

• Factorio-SAT

  13 601 1.5 Python SMPT VS Factorio-SAT

  Enhancing the Factorio experience with SAT solvers

• InventorLoader

  2 105 4.4 Python SMPT VS InventorLoader

  Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.

• modelator-py

  2 28 0.0 Python SMPT VS modelator-py

  Utilities for the TLA+ ecoystem and model-based testing using TLA+.

  

• tlsd

  2 12 0.0 Python SMPT VS tlsd

  Generate (message) sequence diagrams from TLA+ state traces

• manticore

  5 3,634 3.8 Python SMPT VS manticore

  Symbolic execution tool

  

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