洪民憙

Hi! I'm Hong Minhee, a software engineer from Seoul. You've reached here, my website. I write some free/open source software, which are mostly written in Haskell, Python, and TypeScript. I'm an advocate of free/open source software and fediverse. My professional interests are decentralized peer-to-peer networks and statically typed functional programming languages. (Résumé →)

I also have outside interests on etymology, East Asian languages (CJK), Chinese characters, and further, Unihan. 若爾能讀本文，則吾以筆談可論。

Blog

I've occasionally written about programming and few other topics in mostly Korean (and sometimes English and Japanese):

Hong Minhee on Things

Note that both links above lead to the same page. Depending on the locale settings of your web browser or OS, you'll see the blog in either Korean, English, or Japanese.

Find me elsewhere

• GitHub (@dahlia)
• GitLab (@hongminhee)
• Fediverse (@hongminhee@hollo.social)
• Hackers' Pub (@hongminhee@hackers.pub)
• X^†, formerly Twitter (@hongminhee)
• Bluesky (@hongminhee.org)
• Keyoxide (374B15AF323796A62AB1BCE3C429ECD57EED6CCA)
• Wikipedia (User:Hongminhee) & 위키백과 (사용자:Hongminhee)
• Last.fm (hongminhee)

Contact

The best method to contact with me is by email (however, please ask your questions about my projects in their issue trackers instead of email):

hong@minhee.org

Here's my Discord username too:

hongminhee#4945^†

My PGP public key is:

374B15AF323796A62AB1BCE3C429ECD57EED6CCA

Open Source

• Fedify is an ActivityPub implementation and a fediverse server framework in TypeScript.
• Hollo is an ActivityPub-enabled lightweight microblogging software for single-users.
• BotKit is a TypeScript library for building ActivityPub bots.
• LogTape is a simple logging library with zero dependencies for Deno/Node.js/Bun/browsers.
• Seonbi (선비) is an HTML preprocessor that makes typographic adjustments and transformations from Korean mixed script (國漢文混用) to Hangul exclusive writing (한글전용).
• Et cetera:
  • Libplanet is a .NET library for creating multiplayer online game in decentralized fashion, which means the whole gameplay occurs on a peer-to-peer network among equal nodes rather than an authorized central server.
  • Bencodex is a serialization format that extends BitTorrent's Bencoding. It aims to force normalization (i.e., bijection between values and their encodings) and cover common data types similar to JSON data model at a time, while still be a superset of the original Bencoding (i.e., every valid Bencoding representation is also a valid Bencodex representation). I wrote the specification and implementations in several languages too: Python, TypeScript, .NET, Haskell, & PHP.
  • libsass-python is a SASS/SCSS package for Python.
  • Wand is a ctypes-based simple ImageMagick API binding for Python.
  • sphinxcontrib-httpdomain is a Sphinx domain for describing HTTP APIs.
  • Geofront is a simple SSH key management service.
  • Nirum is an IDL compiler and RPC/distributed object framework for microservices.
  • Dojang is a cross-platform dotfiles manager.
  • Jikji (直指) is a small toolkit for building your own static site generators on Deno.
  • Wikidata is a Wikidata client library for Python.
  • aitertools is a well-tested collection of utility functions dealing with asynchronous iterables in TypeScript.
  • json-hash is a Deno package to deal with JSON data with cryptography. It implements JCS, JSON digests, and JSON Merkle hashes.
  • SQLAlchemy-ImageAttach is a SQLAlchemy extension for attaching images to entity objects.
  • checkmate is a small program to generate human-readable checklists from a given patch (or pull request).
  • iterfzf is a Pythonic interface to fzf, a CLI fuzzy finder.
  • sphinxcontrib-autoprogram is a Sphinx extension for documenting CLI programs in automated way.
  • submark is a small CLI program (and also a GitHub action) to extract some particular section from a given CommonMark/Markdown document.
  • mediawiki-rc-mastodon-bot is a small program relays RecentChanges from a MediaWiki site to a Mastodon account.

You also can see my other activities about open source hacking at my GitHub, GitLab, npm, JSR, Hackage, PyPI, and NuGet.