Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: homebrew: z3
High-performance theorem prover
12 versions
Latest release: 5 months ago
8 dependent packages
34,677 downloads last month
View more package details: https://packages.ecosyste.ms/registries/formulae.brew.sh/packages/z3
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/Z3Prover%2Fz3
Dependent Repos 20
vkhitrin/macos-env
Personal macOS dotfiles + tools used that are part of my workflow- * Setup/Brewfile
Size: 254 KB - Last synced: 7 days ago - Pushed: 7 days ago
typesAreSpaces/macosDotFiles
- * Brewfile
Size: 4.38 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
heypoom/dotfiles
Poom's Neovim, Tmux, Fish and other configurations for macOS & Linux. Literally my entire world.- * config/.unused/Brewfile
Size: 25.9 MB - Last synced: 18 days ago - Pushed: 19 days ago
artagnon/dotfiles
📂 gitconfig, ruby, perl, nvim- * Brewfile
Size: 8.66 MB - Last synced: about 2 months ago - Pushed: about 2 months ago
vogler/dotfiles
config/setup for macOS/Linux/Windows: zsh, vim, tmux, vscode; old: Arch, awesome- * install/macos/old-MBP/Brewfile
Size: 1.07 MB - Last synced: 5 days ago - Pushed: about 1 month ago
snario/.dotfiles
💻 My personal dotfiles organized by type and easily installable.- * brew/Brewfile
Size: 6.52 MB - Last synced: 11 months ago - Pushed: 11 months ago
leongross/hal Fork of emsec/hal
HAL – The Hardware Analyzer- * Brewfile
Size: 45.7 MB - Last synced: 19 days ago - Pushed: over 1 year ago
erikw/advent-of-code-solutions
My solutions to puzzles at https://adventofcode.com/- * Brewfile
Size: 1.51 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
CSCIX65G/SwiftCrossCompilers Fork of AlwaysRightInstitute/swift-mac2arm-x-compile-toolchain
SPM toolchain to cross compile Raspberry Pi (arm64) and Amd64 Swift binaries on macOS- * helloworld/Brewfile
Size: 379 KB - Last synced: 6 months ago - Pushed: 6 months ago
smbl64/dotfiles
My personal configurations files for Vim, Bash and whatnot.- * osx/Brewfile
Size: 456 KB - Last synced: 8 days ago - Pushed: 8 days ago
Ryusei-0407/dotfiles
- * Brewfile
Size: 90.8 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
benknoble/Dotfiles
dotfiles for configuration- * brew/Brewfile
Size: 1.91 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
kamecha/dotfiles
kamechaの環境のdotfileの集合体のつもり- * Brewfile
Size: 5.62 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
Kaylebor/dotfiles_old
My personal dotfiles- * Brewfile
Size: 185 KB - Last synced: about 1 year ago - Pushed: about 1 year ago
yu123/Brewfile
- * Brewfile
Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: over 1 year ago
MattLewin/dotfiles
A simple repository for my macOS and UNIX dot files- * misc/dot-config/brewfile/Brewfile
Size: 472 KB - Last synced: 24 days ago - Pushed: 25 days ago
personalrobotics/chimera
:snake: A CLI tool for generating Boost.Python/pybind11 bindings from C/C++- * Brewfile
Size: 972 KB - Last synced: 28 days ago - Pushed: over 3 years ago
yeahlol/dotfiles
- * brewfile/Brewfile
Size: 12.7 KB - Last synced: 9 months ago - Pushed: over 1 year ago
dougrocha/dotfiles
My personal dotfiles- * bin/osx/Brewfile
Size: 336 KB - Last synced: 7 days ago - Pushed: 7 days ago
yuxqiu/.dotfiles
My dotfiles configuration- * config/Brewfile
Size: 2.74 MB - Last synced: 2 months ago - Pushed: 2 months ago
irfn/dotfiles
my dot files- * homebrew/Brewfile
Size: 108 KB - Last synced: 12 months ago - Pushed: 12 months ago
avegancafe/Juliet
a dev setup- * Brewfile
- 4.12.2 Brewfile.lock.json
Size: 12.8 MB - Last synced: 4 days ago - Pushed: 4 days ago
risicle/hal Fork of emsec/hal
HAL – The Hardware Analyzer- * Brewfile
Size: 54.1 MB - Last synced: 15 days ago - Pushed: 3 months ago
LambertGreen/dotfiles
dotfiles and setup scripts- * package_manager_exports/brewfiles/WSL2_Ubuntu/Brewfile
Size: 1010 KB - Last synced: about 2 months ago - Pushed: about 2 months ago
levph/HWTS
Sensitivity Driven Hardware Trojan Detection Research- * hal/Brewfile
Size: 25.9 MB - Last synced: 14 days ago - Pushed: 4 months ago
jjangsangy/Dotfiles
My Dotfiles- * macos/Brewfile
Size: 5.63 MB - Last synced: 5 months ago - Pushed: 5 months ago
MiohitoKiri5474/.dotfiles
These are the dotfiles of my own.- * Brewfile
Size: 5.14 MB - Last synced: 14 days ago - Pushed: 19 days ago
iRaphiki/dotfiles
Personal dotfiles using dotly- * os/mac/brew/Brewfile
Size: 26.4 MB - Last synced: 2 months ago - Pushed: 2 months ago
laermannjan/sysconf
- * brew/dot-config/brewfile/Brewfile
Size: 36.9 MB - Last synced: about 10 hours ago - Pushed: about 12 hours ago