Skip to content
extra credit
Search 85,062 technologies
⌘
K
How it works
Catalog
Download
for Mac
Technologies
Developer tools
Homebrew formulae
icarus-verilog
Verilog simulation and synthesis tool
Official docs
↗
Registry
↗
brew install icarus-verilog
Copy
More in Homebrew formulae
All 3,000
tepl
GNOME Text Editor Product Line
mihomo
Another rule-based tunnel in Go, formerly known as ClashMeta
enchant
Spellchecker wrapping library
apm
Dependency manager for AI agent configuration
octomap
Efficient probabilistic 3D mapping framework based on octrees
fzf-tab
Replace zsh completion selection menu with fzf
hcxtools
Utils for conversion of cap/pcap/pcapng WiFi dump files
haproxy
Reliable, high performance TCP/HTTP load balancer
libftdi
Library to talk to FTDI chips
amass
In-depth attack surface mapping and asset discovery
flatbuffers
Serialization library for C++, supporting Java, C#, and Go
mutt
Mongrel of mail user agents (part elm, pine, mush, mh, etc.)
esc
Cancel
Close search
↑
↓
move
↵
open