open-source applications

NVIDIA has published Auto Ontology, an open-source Python framework for building semantic, graph-based reasoning layers over data. The tool aims to produce deterministic query generation, improve context retrieval, and make AI outputs more explainable in large language model and agent workflows. Developers are watching the early project as interest grows in making LLM-based systems more reliable and auditable.

A new guide walks developers through deploying Hanko, an open-source authentication and user management platform, on a Debian virtual private server. Hanko offers ready-made login functionality, including passkey-based authentication, for web and mobile applications. The tutorial covers installation and setup steps for self-hosting the service, aimed at developers who want control over their own authentication infrastructure instead of relying on external providers.

Developer Raph Levien has released Nibnib, an open-source image compression format hosted on GitHub that prioritizes extreme decompression speed. The project landed near the top of Hacker News, drawing discussion among engineers about the trade-offs between compression ratio and decoding performance, and whether such a format could suit graphics-heavy applications where images must be decoded very quickly.

Herdr has released a native application, a move the company announced through its open-source repository on GitHub. The launch gives users of the service a dedicated app instead of relying on web or third-party access. It is drawing attention among developers and early adopters discussing the release.

A developer has released Lasm, an open-source project that lets programmers write formally verified web applications in the Lean theorem prover and run them on Node.js, serverless platforms and edge runtimes. The project, hosted on GitHub, aims to bring mathematical proofs of correctness to ordinary web development, and it is drawing attention among programmers interested in verified software.