salt | recife | |
---|---|---|
2 | 4 | |
190 | 130 | |
0.0% | - | |
0.0 | 4.5 | |
over 4 years ago | 12 months ago | |
Clojure | Clojure | |
MIT License | GNU General Public License v3.0 or later |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
salt
Posts with mentions or reviews of salt.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-12-19.
- Quint: A specification language based on the temporal logic of actions (TLA)
-
TLA+ Action Properties
We're seeing more people create DSLs that compile to TLA+. For example, salt lets you write TLA+ specs in Clojure: https://github.com/Viasat/salt
recife
Posts with mentions or reviews of recife.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-12-19.
-
Quint: A specification language based on the temporal logic of actions (TLA)
I didn't take a very deep look yet, but this might be similar to https://github.com/pfeodrippe/recife
-
Recife Temporal Properties (second article in the model checker series)
You can open an issue with the code, https://github.com/pfeodrippe/recife.
-
First article of a series about Recife (Clojure model checker on top of TLA+ tooling)
You betcha o/ https://github.com/pfeodrippe/recife/tree/master/test
-
London Clojurians Talk: Recife - Testing your code with the help of a model checker (by Paulo Feodrippe)
Recife (https://github.com/pfeodrippe/recife) is a Clojure library that leverages TLC, a model checker widely used (in a niche) to check formal specifications and, with a bit of thinking, to test your implementation according to this specification.
What are some alternatives?
When comparing salt and recife you can also consider the following projects:
timewinder - Temporal Logic of Actions in Rust via Starlark