z3
Theorem Prover
A widely-used theorem prover used in formal verification and software development.
The Z3 Theorem Prover
10k stars
181 watching
1k forks
Language: C++
last commit: 6 days ago
Linked from 3 awesome lists
apsdehal/awesome-ctf
aolofsson/awesome-opensource-hardware
pirapira/awesome-ethereum-virtual-machineRelated projects:
| Repository | Description | Stars |
|---|---|---|
 mmp/pbrt-v3 | A physically based rendering software suite | 4,921 |
 zig-gamedev/zig-gamedev | A collection of libraries and sample applications for game development using the Zig programming language. | 2,295 |
 web-platform-tests/wpt | A cross-browser test suite for the web platform to ensure compatibility and reliability across different browsers and devices. | 5,014 |
 panda3d/panda3d | A comprehensive game development framework for 3D rendering and game creation | 4,526 |
 snesrev/zelda3 | Reimplements an action-adventure game from the 16-bit era with various enhancements and features | 4,275 |
 seeebiii/projen-test | An example project showing how to create and publish AWS CDK constructs using projen and jsii | 38 |
 wasm3/wasm3 | An interpreter and runtime for the WebAssembly language, aiming to provide portability, security, and low development impedance. | 7,322 |
 zealdocs/zeal | A software tool that allows users to browse and search documentation sets offline. | 11,513 |
 eriklindernoren/pytorch-yolov3 | An implementation of YOLOv3 in PyTorch for object detection and tracking | 7,324 |
 mpld3/mpld3 | An interactive D3.js-based viewer for displaying matplotlib graphics in the browser. | 2,359 |
 dagrejs/dagre-d3 | A JavaScript library that uses D3 to render directed graphs on the client-side | 2,860 |
 jupyterlab/jupyterlab | An extensible environment for interactive and reproducible computing using the Jupyter Notebook architecture | 14,183 |
 huxingyi/dust3d | A cross-platform 3D modeling software for creating low poly models | 2,983 |
 tooll3/t3 | A toolset for creating real-time motion graphics and animations with advanced features like DirectX, ImGui, and procedural content generation. | 3,478 |
 c3js/c3 | A reusable charting library for creating interactive data visualizations | 9,344 |