Sturm Alternatives
Similar projects and alternatives to sturm
-
spack
A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
-
scala
Scala 2 compiler and standard library. Bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
-
InfluxDB
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.
-
halp
Run programs in the Emacs buffer holding their source, seeing their output inline, interactively. (by darius)
-
WorkOS
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.
sturm reviews and mentions
- My Kind of REPL
-
Modern SAT solvers: fast, neat and underused (2018)
FWIW, here's a little console-mode puzzle game of SAT problems, if you want to solve some manually. The "board" is not exactly like the example table in the post, since that one was for Sudoku in particular. This grid represents variables as rows and clauses as columns.
https://github.com/darius/sturm/blob/master/satgame.py (Python 2)
Stats
darius/sturm 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 sturm is Python.
Popular Comparisons
Sponsored