Related Repositories for Z3Prover/z3

Repository	⭐ Stars	🍴 Forks	Ratio
Z3Prover/z3	10,941	492	22.24
tensorflow/tensorflow	2,923	442	6.61
torvalds/linux	2,866	494	5.80
sindresorhus/awesome	2,607	217	12.01
rust-lang/rust	2,593	373	6.95
NationalSecurityAgency/ghidra	2,456	139	17.67
donnemartin/system-design-primer	2,376	158	15.04
papers-we-love/papers-we-love	2,232	101	22.10
neovim/neovim	2,039	131	15.56
jlevy/the-art-of-command-line	2,038	92	22.15
BurntSushi/ripgrep	2,022	66	30.64
golang/go	2,001	219	9.14
ocornut/imgui	1,975	119	16.60
3b1b/manim	1,934	57	33.93
junegunn/fzf	1,891	53	35.68
danistefanovic/build-your-own-x	1,880	81	23.21
github/gitignore	1,815	375	4.84
facebook/react	1,808	167	10.83
nvbn/thefuck	1,795	54	33.24
vinta/awesome-python	1,783	173	10.31
WerWolv/ImHex	1,783	42	42.45
pytorch/pytorch	1,767	222	7.96
tauri-apps/tauri	1,712	40	42.80
llvm/llvm-project	1,693	314	5.39
sharkdp/bat	1,667	44	37.89
JuliaLang/julia	1,661	130	12.78
python/cpython	1,658	338	4.91
godotengine/godot	1,621	98	16.54
ggerganov/llama.cpp	1,620	90	18.00
tonsky/FiraCode	1,618	35	46.23
huggingface/transformers	1,606	138	11.64
isocpp/CppCoreGuidelines	1,597	109	14.65
koalaman/shellcheck	1,578	54	29.22
TheAlgorithms/Python	1,573	123	12.79
microsoft/PowerToys	1,571	31	50.68
syncthing/syncthing	1,563	50	31.26
Hack-with-Github/Awesome-Hacking	1,558	102	15.27
kamranahmedse/developer-roadmap	1,552	79	19.65
avelino/awesome-go	1,542	117	13.18
flutter/flutter	1,528	57	26.81
tree-sitter/tree-sitter	1,524	48	31.75
0xAX/linux-insides	1,511	85	17.78
ziglang/zig	1,503	83	18.11
mrdoob/three.js	1,499	144	10.41
tldr-pages/tldr	1,494	84	17.79
jwasham/coding-interview-university	1,493	155	9.63
robbyrussell/oh-my-zsh	1,488	200	7.44
kubernetes/kubernetes	1,488	181	8.22
tesseract-ocr/tesseract	1,485	75	19.80
angr/angr	1,481	106	13.97
getify/You-Dont-Know-JS	1,478	84	17.60
servo/servo	1,473	99	14.88
bitcoin/bitcoin	1,471	162	9.08
Genymobile/scrcpy	1,469	50	29.38
chrislgarry/Apollo-11	1,466	86	17.05
nlohmann/json	1,463	88	16.62
tensorflow/models	1,457	155	9.40
minimaxir/big-list-of-naughty-strings	1,456	49	29.71
fffaraz/awesome-cpp	1,432	105	13.64
nushell/nushell	1,431	50	28.62
josephmisiti/awesome-machine-learning	1,431	116	12.34
grafana/grafana	1,431	77	18.58
google/flatbuffers	1,427	68	20.99
facebook/rocksdb	1,424	81	17.58
ansible/ansible	1,420	140	10.14
sharkdp/fd	1,417	34	41.68
grpc/grpc	1,413	116	12.18
prometheus/prometheus	1,412	87	16.23
facebook/folly	1,412	108	13.07
firecracker-microvm/firecracker	1,410	48	29.38
excalidraw/excalidraw	1,404	44	31.91
Microsoft/vscode	1,398	102	13.71
google/leveldb	1,393	98	14.21
mitmproxy/mitmproxy	1,390	79	17.59
trimstray/the-book-of-secret-knowledge	1,390	61	22.79
denoland/deno	1,388	77	18.03
hakimel/reveal.js	1,388	137	10.13
tokio-rs/tokio	1,386	95	14.59
danielmiessler/SecLists	1,383	121	11.43
facebook/zstd	1,376	53	25.96
facebook/react-native	1,374	107	12.84
vlang/v	1,358	49	27.71
typst/typst	1,351	27	50.04
swisskyrepo/PayloadsAllTheThings	1,351	113	11.96
jart/cosmopolitan	1,350	29	46.55
apple/swift	1,349	115	11.73
git/git	1,347	161	8.37
jgm/pandoc	1,344	83	16.19
fatedier/frp	1,335	63	21.19
ryanoasis/nerd-fonts	1,333	49	27.20
sveltejs/svelte	1,330	42	31.67
rustdesk/rustdesk	1,323	39	33.92
commaai/openpilot	1,316	67	19.64
gorhill/uBlock	1,312	40	32.80
rapid7/metasploit-framework	1,311	169	7.76
google/jax	1,310	56	23.39
iovisor/bcc	1,309	62	21.11
SerenityOS/serenity	1,308	69	18.96
vuejs/vue	1,307	86	15.20
scikit-learn/scikit-learn	1,301	162	8.03