SMPT Alternatives

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

cargo-check-deadlock

3 24 8.1 Rust SMPT VS cargo-check-deadlock

Find deadlocks in Rust code with Petri net model checking
Scout Monitoring

www.scoutapm.com featured

Free Django app performance insights with Scout Monitoring. Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.
dep-scan

3 980 8.4 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.
Factorio-SAT

13 627 0.0 Python SMPT VS Factorio-SAT

Enhancing the Factorio experience with SAT solvers
InventorLoader

2 114 4.4 Python SMPT VS InventorLoader

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

4 72 0.0 Python SMPT VS tlsd

Generate (message) sequence diagrams from TLA+ state traces
modelator-py

2 28 0.0 Python SMPT VS modelator-py

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

5 3,673 3.8 Python SMPT VS manticore

Symbolic execution tool
InfluxDB

www.influxdata.com featured

Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better SMPT alternative or higher similarity.

Suggest an alternative to SMPT

SMPT discussion

SMPT reviews and mentions

Posts with mentions or reviews of SMPT. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-09-05.

Petri Net for tokio ?
2 projects | /r/rust | 5 Sep 2023

I also found https://github.com/nicolasAmat/SMPT maybe it should be used because SMT, Z3 looks familiar. It's used in fancy new theorem provers.

Stats

Basic SMPT repo stats

Mentions

Stars

Activity

6.4

Last Commit

10 months ago

nicolasAmat/SMPT is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.

The primary programming language of SMPT is Python.

Popular Comparisons

SMPT VS cargo-check-deadlock

SMPT