z3
by Z3Prover
The Z3 Theorem Prover
AI summary
Theorem prover
A software tool for automated reasoning and theorem proving in first-order logic.
- stars
- 10.5K
- forks
- 1.5K
- watching
- 181
- awesome lists
- 3
Similar projects
Found by comparing what the projects do, not just their names.
mmp/pbrt-v34.9K
Rendering Engine
The pbrt-v3 project provides the source code and build tools for a physically-based rendering engine.
Game dev library
Provides Zig programming language libraries and sample applications for game development
Test suite
A cross-browser test suite for the web platform to ensure compatibility and reliability across different browsers and devices.
panda3d/panda3d4.6K
Game engine
A comprehensive game development framework for 3D rendering and game creation
snesrev/zelda34.3K
Action-adventure emulator
Reimplements an action-adventure game from the 16-bit era with various enhancements and features
CDK construct publisher
An example project showing how to create and publish AWS CDK constructs using projen and jsii
wasm3/wasm37.4K
WASM interpreter
An interpreter and runtime for the WebAssembly language, aiming to provide portability, security, and low development impedance.
zealdocs/zeal11.8K
Doc browser
An offline documentation browser that allows users to view and search documentation sets in a simple, Qt-based desktop application.
YOLO detector
An implementation of YOLOv3 in PyTorch for object detection and tracking
mpld3/mpld32.4K
Data visualizer
An interactive data visualization tool that brings matplotlib graphics to the browser using D3.
dagrejs/dagre-d32.9K
Graph renderer
A JavaScript library that uses D3 to render directed graphs on the client-side
Interactive computing environment
An extensible environment for interactive and reproducible computing using the Jupyter Notebook architecture
Modeler
A cross-platform 3D modeling software for creating low poly models
tooll3/t33.5K
Motion graphics toolkit
A toolset for creating real-time motion graphics and animations with advanced features like DirectX, ImGui, and procedural content generation.
c3js/c39.3K
Charting library
A reusable charting library for creating interactive data visualizations
Featured in 3 awesome lists
Each link jumps to the spot where the list mentions z3.
