This is stars and forks stats for /Z3Prover/z3 repository. As of 29 Mar, 2024 this repository has 9059 stars and 1409 forks.
Z3 Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license. If you are not familiar with Z3, you can start here. Pre-built binaries for stable and nightly releases are available from here. Z3 can be built using Visual Studio, a Makefile or using CMake. It provides bindings for several programming languages. See the release notes for notes on various stable releases of Z3. Build status Azure Pipelines Code Coverage Open Bugs Android Build WASM Build Docker image. Building...
Z3 Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license. If you are not familiar with Z3, you can start here. Pre-built binaries for stable and nightly releases are available from here. Z3 can be built using Visual Studio, a Makefile or using CMake. It provides bindings for several programming languages. See the release notes for notes on various stable releases of Z3. Build status Azure Pipelines Code Coverage Open Bugs Android Build WASM Build Docker image. Building...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
ethz-asl/kalibr | C++PythonTeX | 3.7k | 0 | 1.3k | 0 |
chenshuo/muduo | C++CMakeOther | 13.6k | 0 | 5.1k | 0 |
google/angle | C++CPython | 3k | 0 | 553 | 0 |
vaxerski/Hyprland | C++NixCMake | 11.1k | 0 | 414 | 0 |
NVIDIA/cutlass | C++CudaPython | 3.4k | +20 | 643 | +8 |
gaoxiang12/slambook2 | C++CMakeTeX | 4.5k | 0 | 1.8k | 0 |
opencv/opencv_contrib | C++CudaPython | 8.7k | 0 | 5.7k | 0 |
JannsenYang/dingdong-helper | JavaJavaScript | 1.3k | 0 | 508 | 0 |
hak5/usbrubberducky-payloads | PowerShellJavaPython | 2.8k | +22 | 1.1k | +1 |
apache/avro | JavaC#C | 2.6k | 0 | 1.5k | 0 |