Souper Alternatives

Similar projects and alternatives to souper

• rust

  2,680 92,627 10.0 Rust souper VS rust

  Empowering everyone to build reliable and efficient software.

  

• lean4

  52 3,714 9.9 Lean souper VS lean4

  Lean 4 programming language and theorem prover

  

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

  

• x86-sat

  5 311 10.0 Python souper VS x86-sat

  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

• z3_tutorial

  1 147 0.0 Jupyter Notebook souper VS z3_tutorial

  Jupyter notebooks for tutorial on the Z3 SMT solver

• Voxlap

  2 94 0.0 C++ souper VS Voxlap

  Making Ken Silverman's "Voxlap" voxel graphics engine run on any platform with SDL.

• minotaur

  1 85 7.7 LLVM souper VS minotaur

  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229. (by minotaur-toolkit)

  

• ivy

  1 200 6.5 C++ souper VS ivy

  Discontinued IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness. (by microsoft)

  

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