|
Sunday, July 12
11:30 pm UTC
|
|
bracken
☆
- Bayesian estimation of species abundance from Kraken output
|
new
|
Formula
|
|
mktxp
☆
- Prometheus Exporter for Mikrotik RouterOS devices
|
new
|
Formula
|
|
supaterm
☆
- Terminal emulator with built-in agent automation
|
26.3.0
|
Cask
|
|
rewritebar
☆
- AI-powered writing assistant
|
2.30.1
|
Cask
|
|
radarr
☆
- Fork of Sonarr to work with movies à la Couchpotato
|
6.3.0.10514
|
Cask
|
|
orangedrangon-android-messages
☆
- Desktop client for Android Messages
|
6.1.0
|
Cask
|
|
notepadexe
☆
- Lightweight code editor
|
1.5.0
|
Cask
|
|
mqttfx
☆
- IoT route testing tool
|
5.14.0
|
Cask
|
|
macparakeet
☆
- Local speech-to-text, transcription, and meeting recording
|
0.7.2
|
Cask
|
|
gisto
☆
- Snippets management desktop application
|
2.13.1
|
Cask
|
|
dot
☆
- Menu bar calendar with meeting reminders
|
2.3.1
|
Cask
|
|
donut
☆
- Anti-detect web browser
|
0.28.2
|
Cask
|
|
boss
☆
- AI-powered workspace for complex business operations
|
9.2.45
|
Cask
|
|
treesheets
☆
- Hierarchical spreadsheet and outline application
|
3247
|
Cask
|
|
thecommander
☆
- Dual-panel file manager inspired by Total Commander
|
1.6.4
|
Cask
|
|
supacode
☆
- Native terminal coding agents command center
|
0.10.6
|
Cask
|
|
stats
☆
- System monitor for the menu bar
- 35,459 ★
|
3.0.8
|
Cask
|
|
sakura
☆
- Launcher of SakuraFrp
|
3.1.8
|
Cask
|
|
remnote
☆
- Spaced-repetition powered note-taking tool
|
1.26.32
|
Cask
|
|
labymod
☆
- Launcher for LabyMod (Minecraft client)
|
3.0.11
|
Cask
|
|
happ
☆
- Platform for building proxies to bypass network restrictions
|
2.18.3
|
Cask
|
|
amneziavpn
☆
- VPN client
|
4.8.21.0
|
Cask
|
|
wooshy
☆
- Click and more on UI Elements through typing
|
49
|
Cask
|
|
mactools
☆
- Menu bar toolbox
|
1.1.0
|
Cask
|
|
firefox@nightly
☆
- Web browser
|
154.0a1…
|
Cask
|
|
companion
☆
- Streamdeck extension and emulation software
|
5.0.0…
|
Cask
|
|
codebuddy-cn
☆
- AI-powered adaptive IDE (Chinese version)
|
4.10.1.33158423…
|
Cask
|
|
codebuddy
☆
- AI-powered adaptive IDE
|
4.10.1.33158423…
|
Cask
|
|
boss
☆
- AI-powered workspace for complex business operations
|
9.2.44
|
Cask
|
|
backdrop
☆
- Live wallpaper app
|
2.6.14,118
|
Cask
|
|
haxe
☆
- Multi-platform programming language
|
update
|
Formula
|
|
ott
☆
- Tool for writing definitions of programming languages and calculi
|
update
|
Formula
|
|
stanc3
☆
- Stan transpiler
|
update
|
Formula
|
|
math-comp
☆
- Mathematical Components for the Coq proof assistant
|
update
|
Formula
|
|
rocq-elpi
☆
- Elpi extension language for Rocq
|
update
|
Formula
|
|
rocq-micromega-plugin
☆
- Micromega decision procedures plugin for the Rocq prover
|
new
|
Formula
|
|
hierarchy-builder
☆
- High level commands to declare a hierarchy based on packed classes
|
update
|
Formula
|
|
rocq
☆
- Proof assistant for higher-order logic
|
update
|
Formula
|
|
ocamlbuild
☆
- Generic build tool for OCaml
|
update
|
Formula
|
|
ocaml-zarith
☆
- OCaml library for arbitrary-precision arithmetic
|
update
|
Formula
|
|
ocaml-num
☆
- OCaml legacy Num library for arbitrary-precision arithmetic
|
update
|
Formula
|
|
ocaml-findlib
☆
- OCaml library manager
|
update
|
Formula
|
|
menhir
☆
- LR(1) parser generator for the OCaml programming language
|
update
|
Formula
|
|
hevea
☆
- LaTeX-to-HTML translator
|
update
|
Formula
|
|
vorssaint
☆
- Menu bar toolkit with keep-awake, system monitor and volume mixer
|
3.1.12
|
Cask
|
|
thunderbird@daily
☆
- Customizable email client
|
154.0a1…
|
Cask
|
|
tablen
☆
- Native SQL client
|
1.30.0
|
Cask
|
|
t3-code@nightly
☆
- Minimal GUI for AI code agents
|
0.0.29…
|
Cask
|
|
presentify
☆
- Annotate screens, highlight cursors, and spotlight or zoom key areas
|
8.1.2
|
Cask
|
|
openusage
☆
- AI usage tracker for Cursor, Claude Code, Codex, Copilot and more
|
0.7.4
|
Cask
|