Infisical
Infisical Inc. · Secrets management
Secrets, certificate and privileged-access management platform with an MIT-licensed core, available as a hosted service or self-hosted deployment
225 tools
Infisical Inc. · Secrets management
Secrets, certificate and privileged-access management platform with an MIT-licensed core, available as a hosted service or self-hosted deployment
Jason Liu and contributors (567 Labs) · Agent frameworks & orchestration
Python library for extracting validated structured data from LLM responses using Pydantic models, with automatic retries, streaming partials and support for many providers
Interactive Brokers LLC · Financial analysis & investing
Programmatic trading and market-data access to Interactive Brokers accounts through the TWS API, the REST-based Web API and FIX
George Nachman (iTerm2 project) · Terminals & shells
Feature-rich terminal emulator for macOS with split panes, profiles, triggers, search, tmux integration and a Python scripting API
JabRef e.V. and contributors · Citation management
Open-source, BibTeX/biblatex-native reference manager for LaTeX users with online fetchers, groups, file linking and editor integration
Google (Chrome DevTools team) · Training & fine-tuning
Python library for NumPy-style array computing with composable transformations (jit, grad, vmap, shard_map) compiled through XLA to CPU, GPU and TPU
OpenJS Foundation · Testing & QA
JavaScript testing framework created at Meta with built-in assertions, mocking, snapshot testing and parallel test execution
The Julia Project · Programming languages & runtimes
Dynamically typed, JIT-compiled language for numerical and scientific computing that aims to combine high-level syntax with compiled-code speed
pqrs.org (Takayama Fumihiko) · macOS system utilities
Free, public-domain keyboard customizer for macOS that remaps keys and defines complex modifications through JSON rules at the driver level
Stairways Software Pty Ltd · macOS automation
Commercial macOS macro application that runs sequences of actions from hotkeys, typed strings, application, time, device and system triggers
Keycloak project (CNCF incubating, originated at Red Hat) · Identity & access
Open-source identity and access management server providing single sign-on with OpenID Connect, OAuth 2.0 and SAML, user federation and fine-grained authorization
Cloud Native Computing Foundation · Containers & virtualization
Open-source system for scheduling, scaling and operating containerized workloads across a cluster of machines
LangChain, Inc. · Agent frameworks & orchestration
Open-source Python and JavaScript framework whose create_agent harness builds tool-using agents on the LangGraph runtime with swappable model providers and middleware
LangChain, Inc. · Agent frameworks & orchestration
Low-level orchestration framework and runtime for stateful, long-running agents expressed as graphs, with durable execution, checkpointing, human-in-the-loop and streaming
Apple Inc. · macOS automation
macOS's built-in service manager that starts, supervises and schedules daemons and per-user agents from property-list job definitions
Lean FRO · Mathematical & statistical computing
Open-source functional programming language and interactive theorem prover with dependent types, the Mathlib mathematics library and VS Code tooling, stewarded by the Lean FRO
Kevin Sheppard · Econometrics & causal inference
Python package by Kevin Sheppard adding panel data, instrumental-variable, system (SUR/3SLS) and asset-pricing estimators missing from statsmodels
BerriAI · Prompting, evaluation & observability
Open-source Python SDK and self-hosted AI gateway that calls 100+ LLM providers in the OpenAI format, with routing, fallbacks, virtual keys, budgets, spend tracking and logging callbacks
ggml-org (Georgi Gerganov and contributors) · Local LLM inference & serving
C/C++ inference engine for LLMs and vision-language models with GGUF quantized weights, Metal, CUDA, Vulkan and other backends, a CLI and an OpenAI-compatible server
LlamaIndex, Inc. · Agent frameworks & orchestration
Open-source Python framework for retrieval-augmented agents over your data, with connectors, indexes, query engines and event-driven workflows, alongside the commercial LlamaParse document platform
Element Labs, Inc. · Local LLM inference & serving
Proprietary desktop app for discovering, downloading and running local LLMs with llama.cpp and MLX engines, a chat UI, an OpenAI-compatible server, CLI, SDKs and a headless daemon
Logseq · Personal knowledge management
Open-source, outliner-based knowledge base storing notes as local Markdown or Org-mode files with block references, queries and a graph view
marimo (acquisition by CoreWeave announced October 2025) · Notebooks & interactive computing
Reactive Python notebook stored as a plain .py file that re-runs dependent cells automatically and doubles as a script or web app
MathWorks · Mathematical & statistical computing
MathWorks' commercial numeric computing environment and language for engineers and scientists, with toolboxes, Simulink integration, apps and MATLAB Online
Page 4 of 10
Share this view: /tools?os=macos&status=active