Related Repositories for Z3Prover/z3

Repository	⭐ Stars	🍴 Forks	Ratio
Z3Prover/z3	10,827	488	22.19
tensorflow/tensorflow	2,907	439	6.62
torvalds/linux	2,831	484	5.85
sindresorhus/awesome	2,587	215	12.03
rust-lang/rust	2,563	371	6.91
NationalSecurityAgency/ghidra	2,441	139	17.56
donnemartin/system-design-primer	2,358	156	15.12
papers-we-love/papers-we-love	2,221	100	22.21
jlevy/the-art-of-command-line	2,024	91	22.24
neovim/neovim	2,015	130	15.50
BurntSushi/ripgrep	2,000	66	30.30
golang/go	1,987	216	9.20
ocornut/imgui	1,949	117	16.66
3b1b/manim	1,905	56	34.02
danistefanovic/build-your-own-x	1,875	80	23.44
junegunn/fzf	1,867	51	36.61
github/gitignore	1,807	374	4.83
facebook/react	1,793	164	10.93
nvbn/thefuck	1,779	53	33.57
vinta/awesome-python	1,772	171	10.36
WerWolv/ImHex	1,760	40	44.00
pytorch/pytorch	1,736	213	8.15
tauri-apps/tauri	1,675	37	45.27
llvm/llvm-project	1,660	301	5.51
sharkdp/bat	1,649	43	38.35
JuliaLang/julia	1,644	129	12.74
python/cpython	1,639	334	4.91
tonsky/FiraCode	1,608	33	48.73
godotengine/godot	1,602	95	16.86
isocpp/CppCoreGuidelines	1,587	108	14.69
huggingface/transformers	1,579	134	11.78
koalaman/shellcheck	1,571	53	29.64
ggerganov/llama.cpp	1,571	89	17.65
TheAlgorithms/Python	1,567	123	12.74
microsoft/PowerToys	1,556	29	53.66
syncthing/syncthing	1,549	50	30.98
Hack-with-Github/Awesome-Hacking	1,543	101	15.28
kamranahmedse/developer-roadmap	1,537	78	19.71
avelino/awesome-go	1,531	117	13.09
flutter/flutter	1,508	57	26.46
0xAX/linux-insides	1,504	83	18.12
tree-sitter/tree-sitter	1,495	45	33.22
mrdoob/three.js	1,489	143	10.41
robbyrussell/oh-my-zsh	1,483	200	7.42
tldr-pages/tldr	1,480	82	18.05
ziglang/zig	1,480	78	18.97
kubernetes/kubernetes	1,478	179	8.26
jwasham/coding-interview-university	1,476	154	9.58
getify/You-Dont-Know-JS	1,473	82	17.96
tesseract-ocr/tesseract	1,472	73	20.16
angr/angr	1,469	106	13.86
servo/servo	1,458	96	15.19
chrislgarry/Apollo-11	1,454	83	17.52
bitcoin/bitcoin	1,453	160	9.08
Genymobile/scrcpy	1,453	49	29.65
minimaxir/big-list-of-naughty-strings	1,451	48	30.23
tensorflow/models	1,449	153	9.47
nlohmann/json	1,441	84	17.15
josephmisiti/awesome-machine-learning	1,424	115	12.38
fffaraz/awesome-cpp	1,421	104	13.66
grafana/grafana	1,419	75	18.92
facebook/rocksdb	1,419	80	17.74
google/flatbuffers	1,419	66	21.50
nushell/nushell	1,409	49	28.76
prometheus/prometheus	1,407	86	16.36
ansible/ansible	1,406	140	10.04
facebook/folly	1,404	107	13.12
grpc/grpc	1,403	114	12.31
sharkdp/fd	1,402	33	42.48
Microsoft/vscode	1,395	102	13.68
firecracker-microvm/firecracker	1,390	48	28.96
google/leveldb	1,382	96	14.40
trimstray/the-book-of-secret-knowledge	1,378	60	22.97
hakimel/reveal.js	1,378	136	10.13
mitmproxy/mitmproxy	1,376	78	17.64
danielmiessler/SecLists	1,374	120	11.45
tokio-rs/tokio	1,368	92	14.87
excalidraw/excalidraw	1,368	42	32.57
facebook/zstd	1,367	51	26.80
denoland/deno	1,364	75	18.19
facebook/react-native	1,362	105	12.97
apple/swift	1,342	115	11.67
vlang/v	1,341	48	27.94
swisskyrepo/PayloadsAllTheThings	1,338	110	12.16
jgm/pandoc	1,336	82	16.29
git/git	1,334	158	8.44
jart/cosmopolitan	1,334	27	49.41
fatedier/frp	1,326	62	21.39
ryanoasis/nerd-fonts	1,316	49	26.86
sveltejs/svelte	1,314	39	33.69
typst/typst	1,312	25	52.48
rapid7/metasploit-framework	1,307	167	7.83
google/jax	1,303	56	23.27
commaai/openpilot	1,301	66	19.71
gorhill/uBlock	1,300	39	33.33
vuejs/vue	1,299	85	15.28
rustdesk/rustdesk	1,296	38	34.11
scikit-learn/scikit-learn	1,295	159	8.14
iovisor/bcc	1,290	61	21.15
SerenityOS/serenity	1,290	67	19.25