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

liuyinz/dotfile
  • * macos/Brewfile

Size: 301 KB - Last synced: 8 days ago - Pushed: 8 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

thpani/brewfiles
  • * base/Brewfile

Size: 11.7 KB - Last synced: 17 days ago - Pushed: 17 days 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

mcspud/stow
  • * brewfile/.config/brewfile/Brewfile

Last synced: 11 months ago

w0rng/dotfiles
  • * Brewfile

Size: 24.4 KB - Last synced: 13 days ago - Pushed: 8 months 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

LeoAJ/dotfiles
my dotfiles
  • * Brewfile

Size: 261 KB - Last synced: 4 days ago - Pushed: 4 days 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