yabai
Rectangle
Moom
BTT Remote
Contexts
Mizage Divvy
Homebrew
Magnet Window Manager
AuditHub
Olympix
AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.
Built by Veridise. https://veridise.com/
yabai AuditHubNo features have been listed yet.
No AuditHub videos yet. You could help us improve this page by suggesting one.
AuditHub's answer:
AuditHub's answer:
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Based on our record, yabai seems to be more popular. It has been mentiond 138 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Aerospace does not rely on the native spaces feature. Instead, it has the concept of virtual workspaces, all of which live in a single native macOS space. Switching between these virtual workspaces essentially means hiding all other windows and only keeping the window(s) assigned to the active workspace. This is genius, as it makes Aerospace incredibly flexible in managing windows between workspaces, without the... - Source: dev.to / about 2 months ago
Interesting. I used to daily drive for almost a year until a major macOS update broke it and I just didn't have it in me to diagnose the issue. I'll bookmark this for future adventures, thanks! - Source: Hacker News / 2 months ago
> Liquid Radius doesn't touch /System or modify the SSV I'm not doubting you, but by requiring users to disable SIP you are effectively opening their entire system to SSV attacks. 99% of "regular" users won't understand that tradeoff. Rounded corners are not worth disabling the operating system's major security protections, especially in today's crazy cyber environment. Yabai [0] is a good example of how... - Source: Hacker News / 3 months ago
This. My 2013 MacBook Pro lasted just shy of 10 years no issues. My m3 max mbpro I only wish was the larger screen one and not the 13 inch one โฆ oh well. But I suspect it will last me โ and be passed down as well โ 8-10 years as well. The trackpads are second to none. So are the speakers. The screen are pretty good. I wish mine got even brighter but the m4s do. The keyboard is finally awesome. The OS just works.... - Source: Hacker News / 11 months ago
Aerospace is nice, but also consider checking out yabai [0] + sketchybar [1] for an i3/hyprland style tiling setup. More customizable (IMO) and perfectly suited for a terminal based workflow :~^) [0] https://github.com/koekeishiya/yabai. - Source: Hacker News / about 1 year ago
Rectangle - Window management app based on Spectacle, written in Swift.
Olympix - Secure your code as itโs written
Moom - Move your mouse over the green zoom button in any window, and Moom's mouse control overlay will appear (as seen in the above animation).
BTT Remote - A remote control for you Mac, using your iPhone or iPad
Contexts - Switch between application windows effortlessly โ with Fast Search, a better Command-Tab, a Sidebar or even a quick gesture. Free trial available.
Mizage Divvy - Divvy is an entirely new way of managing your workspace.