| archivers/leangz | OpenBSD | 0.1.20 | archivers/leangz 0.1.20: Lean 4 .olean file (de)compressor. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| audio/beets | OpenBSD | 2.14.1 | audio/beets 2.14.1: CLI tools to manage music collections. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| audio/euphonica | OpenBSD | 0.99.6 | audio/euphonica 0.99.6: GTK4 MPD client with delusions of grandeur. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| devel/binutils | OpenBSD | 2.47 | devel/binutils 2.47: GNU binary utilities. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| devel/codex | OpenBSD | 0.163.0 | devel/codex 0.163.0: OpenAI terminal-based coding agent. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| devel/git-tools | OpenBSD | 2025.08 | devel/git-tools 2025.08: assorted git tools, including git-restore-mtime. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| devel/intellij | OpenBSD | 2026.2.3 | devel/intellij 2026.2.3: IntelliJ IDEA Java IDE. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| devel/libggml | OpenBSD | 0.26.0 | devel/libggml 0.26.0: tensor library for machine learning. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| devel/maven | OpenBSD | 3.9.16 | devel/maven 3.9.16: software project management and comprehension tool. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| devel/pycharm | OpenBSD | 2026.1.5 | devel/pycharm 2026.1.5: Python IDE based on IntelliJ IDEA. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| devel/sbt | OpenBSD | 2.0.11 | devel/sbt 2.0.11: interactive build tool, primarily for Scala/Java. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| devel/visualvm | OpenBSD | 2.2.2 | devel/visualvm 2.2.2: visual tool integrating commandline JDK tools and profiling. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| lang/scala | OpenBSD | 3.10.0 | lang/scala 3.10.0: general purpose multi-paradigm programming language. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| mail/py-dkimpy | OpenBSD | 1.1.8p1 | mail/py-dkimpy 1.1.8p1: a library and tool that implements DKIM/ARC. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| math/cadical | OpenBSD | 3.0.1p0 | math/cadical 3.0.1p0: CaDiCaL SAT Solver. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| math/lean | OpenBSD | 4.35.0 | math/lean 4.35.0: interactive and automated theorem prover. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| math/z3 | OpenBSD | 5.3.1 | math/z3 5.3.1: Z3 theorem prover. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| misc/llama.cpp | OpenBSD | 0.6.0 | misc/llama.cpp 0.6.0: LLM inference system. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| net/dino | OpenBSD | 0.5.1p1 | net/dino 0.5.1p1: XMPP desktop client. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| net/ejabberd | OpenBSD | 26.09 | net/ejabberd 26.09: robust, ubiquitous and massively scalable messaging platform. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| net/libomemo-c | OpenBSD | 0.5.1 | net/libomemo-c 0.5.1: fork of libsignal-protocol-c adding support for OMEMO. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| net/tcpflow | OpenBSD | 1.6.1p2 | net/tcpflow 1.6.1p2: tool for capturing data from TCP connections. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| security/acme.sh | OpenBSD | 3.1.6 | security/acme.sh 3.1.6: pure Unix shell script implementing ACME client protocol. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| security/ejabberd-dovecot-auth | OpenBSD | 0.20120116 | security/ejabberd-dovecot-auth 0.20120116: authenticate ejabberd against dovecot. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| security/mitmproxy | OpenBSD | 12.2.3 | security/mitmproxy 12.2.3: interactive intercepting HTTP proxy. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| security/py-mitmproxy_rs | OpenBSD | 0.12.9 | security/py-mitmproxy_rs 0.12.9: Rust components used in mitmproxy. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| security/wapiti | OpenBSD | 3.2.8 | security/wapiti 3.2.8: web-application vulnerability scanner. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| sysutils/docker-buildx | OpenBSD | 0.38.1 | sysutils/docker-buildx 0.38.1: Docker CLI plugin for extended build capabilities. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| sysutils/docker-cli | OpenBSD | 29.9.2 | sysutils/docker-cli 29.9.2: command-line tool for controlling Docker. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| sysutils/docker-compose | OpenBSD | 5.6.1 | sysutils/docker-compose 5.6.1: define and run multi-container applications with Docker. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| textproc/py-langdetect | OpenBSD | 1.0.9p1 | textproc/py-langdetect 1.0.9p1: python language-detection library. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| textproc/trdsql | OpenBSD | 1.2.3 | textproc/trdsql 1.2.3: run SQL queries on CSV, LTSV, JSON, YAML and TBLN. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| www/hugo | OpenBSD | 0.168.0 | www/hugo 0.168.0: fast and flexible static site generator. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
| www/qobuz-dl | OpenBSD | 2.5.9 | www/qobuz-dl 2.5.9: music downloader for Qobuz. OpenBSD port maintained by Kirill A. Korinsky <[email protected]>. |
BSD Ports