# NGI Zero **URL:** https://discourse.nixos.org/c/dev/ngi-zero/45.md?page=1 [Latest](https://discourse.nixos.org/latest.md) · [Categories](https://discourse.nixos.org/categories.md) **Page:** 2 --- ## [\[Nix@NGI\] Kepler Formal packaged for NGI Forge](https://discourse.nixos.org/t/nix-ngi-kepler-formal-packaged-for-ngi-forge/77748)

**Author:** [@imincik](https://discourse.nixos.org/u/imincik)\ **Replies:** 0\ **Last updated:** [May 21, 2026, 1:08pm UTC](https://discourse.nixos.org/t/nix-ngi-kepler-formal-packaged-for-ngi-forge/77748 "2026-05-21T13:08:26Z")

Kepler Formal is a formal verification tool for Verilog and Naja interchange format. This project is funded by the NGI0 Commons grant(s). This app was packaged by Ivan Mincik (@imincik). Tracking issue: NGI Project: K… --- ## [\[Nix@NGI\] BANG packaged for NGI Forge](https://discourse.nixos.org/t/nix-ngi-bang-packaged-for-ngi-forge/77747)

**Author:** [@imincik](https://discourse.nixos.org/u/imincik)\ **Replies:** 0\ **Last updated:** [May 21, 2026, 12:58pm UTC](https://discourse.nixos.org/t/nix-ngi-bang-packaged-for-ngi-forge/77747 "2026-05-21T12:58:25Z")

BANG is a binary Analysis Next Generation framework for recursive unpacking and analysis of binary files. This project is funded by the NGI0 Review grant(s). This app was packaged by Ivan Mincik (@imincik). Tracking i… --- ## [\[Nix@NGI\] Offen packaged for NGI Forge](https://discourse.nixos.org/t/nix-ngi-offen-packaged-for-ngi-forge/77746)

**Author:** [@imincik](https://discourse.nixos.org/u/imincik)\ **Replies:** 0\ **Last updated:** [May 21, 2026, 12:52pm UTC](https://discourse.nixos.org/t/nix-ngi-offen-packaged-for-ngi-forge/77746 "2026-05-21T12:52:07Z")

Offen is a fair and privacy-focused web analytics. This project is funded by the NGI0 Review grant(s). This app was packaged by Ivan Mincik (@imincik). Tracking issue: NGI Project: Offen · Issue #181 · ngi-nix/project… --- ## [\[Nix@NGI\] QLever packaged for NGI Forge and Nixpkgs](https://discourse.nixos.org/t/nix-ngi-qlever-packaged-for-ngi-forge-and-nixpkgs/77633)

**Author:** [@eljamm](https://discourse.nixos.org/u/eljamm)\ **Replies:** 0\ **Last updated:** [May 15, 2026, 8:39am UTC](https://discourse.nixos.org/t/nix-ngi-qlever-packaged-for-ngi-forge-and-nixpkgs/77633 "2026-05-15T08:39:45Z")

As part of the Nix@NGI packaging effort, funded by NLnet under the NGI0 Review grant, we added QLever: a graph database that implements the RDF and SPARQL standards. As such, we’ve packaged qlever and qlever-control in … --- ## [\[Nix@NGI\] Collabora Office packaged for NGI Forge and Nixpkgs](https://discourse.nixos.org/t/nix-ngi-collabora-office-packaged-for-ngi-forge-and-nixpkgs/77632)

**Author:** [@phanirithvij](https://discourse.nixos.org/u/phanirithvij)\ **Replies:** 0\ **Last updated:** [May 15, 2026, 8:27am UTC](https://discourse.nixos.org/t/nix-ngi-collabora-office-packaged-for-ngi-forge-and-nixpkgs/77632 "2026-05-15T08:27:31Z")

Collabora Office is a collaborative Office for desktop, based on LibreOffice technology. This project is funded by the NGI0 Commons, NGI0 Entrust grants. Collabora Office is a fully-fledged office suite supporting all m… --- ## [\[Nix@NGI\] Goupile packaged for NGI Forge and Nixpkgs](https://discourse.nixos.org/t/nix-ngi-goupile-packaged-for-ngi-forge-and-nixpkgs/77581)

**Author:** [@phanirithvij](https://discourse.nixos.org/u/phanirithvij)\ **Replies:** 0\ **Last updated:** [May 12, 2026, 4:57pm UTC](https://discourse.nixos.org/t/nix-ngi-goupile-packaged-for-ngi-forge-and-nixpkgs/77581 "2026-05-12T16:57:01Z")

Goupile is a free design tool for secure forms including Clinical Report Forms (eCRF). This project is funded by the NGI0 Core grant. With Goupile you can easily create complex forms and share them with colleagues and u… --- ## [\[Nix@NGI\] Reaction packaged for NGIpkgs and Nixpkgs](https://discourse.nixos.org/t/nix-ngi-reaction-packaged-for-ngipkgs-and-nixpkgs/77169)

**Author:** [@wamirez](https://discourse.nixos.org/u/wamirez)\ **Replies:** 0\ **Last updated:** [April 21, 2026, 10:13pm UTC](https://discourse.nixos.org/t/nix-ngi-reaction-packaged-for-ngipkgs-and-nixpkgs/77169 "2026-04-21T22:13:21Z")

Reaction is a daemon that scans program outputs for repeated patterns, and takes action. A common usage is to scan ssh and webserver logs, and to ban hosts that cause multiple authentication errors. See the list of actio… --- ## [\[Nix@NGI\] Repath-Studio packaged for NGIpkgs and Nixpkgs](https://discourse.nixos.org/t/nix-ngi-repath-studio-packaged-for-ngipkgs-and-nixpkgs/75497)

**Author:** [@wamirez](https://discourse.nixos.org/u/wamirez)\ **Replies:** 0\ **Last updated:** [February 20, 2026, 4:03pm UTC](https://discourse.nixos.org/t/nix-ngi-repath-studio-packaged-for-ngipkgs-and-nixpkgs/75497 "2026-02-20T16:03:40Z")

Repath-Studio is a vector graphics editor, that combines procedural tooling with traditional design workflows. This project is funded by the NGI0 Commons grant. It features an interactive REPL shell, multi‑language scri… --- ## [\[Nix@NGI\] PdfDing packaged for NGIpkgs](https://discourse.nixos.org/t/nix-ngi-pdfding-packaged-for-ngipkgs/75189)

**Author:** [@wamirez](https://discourse.nixos.org/u/wamirez)\ **Replies:** 3\ **Last updated:** [February 12, 2026, 7:01am UTC](https://discourse.nixos.org/t/nix-ngi-pdfding-packaged-for-ngipkgs/75189 "2026-02-12T07:01:00Z")

PdfDing is a web-based selfhosted PDF manager, viewer and editor. This project is funded by the NGI0 Commons grant. PdfDing provides a browser‑based PDF viewer that syncs across devices and allows users to organize thei… --- ## [Nix@NGI: Switching from monthly reports to announcements for packaged projects](https://discourse.nixos.org/t/nix-ngi-switching-from-monthly-reports-to-announcements-for-packaged-projects/75160)

**Author:** [@wamirez](https://discourse.nixos.org/u/wamirez)\ **Replies:** 0\ **Last updated:** [February 9, 2026, 2:08pm UTC](https://discourse.nixos.org/t/nix-ngi-switching-from-monthly-reports-to-announcements-for-packaged-projects/75160 "2026-02-09T14:08:50Z")

In the past, the Nix@NGI team has issued monthly summary reports focusing on distinct matters. Going forward, we will shift to project‑completion announcements, highlighting the completed project and actively soliciting … --- ## [Nix@NGI team update: November 2025](https://discourse.nixos.org/t/nix-ngi-team-update-november-2025/73432)

**Author:** [@idabzo](https://discourse.nixos.org/u/idabzo)\ **Replies:** 0\ **Last updated:** [December 19, 2025, 9:31am UTC](https://discourse.nixos.org/t/nix-ngi-team-update-november-2025/73432 "2025-12-19T09:31:59Z")

While the team continued their regular work, we welcomed new members mid-November who joined the packaging efforts. Please warmly welcome @ julm, @phanirithvij, and @linj! The team also collaborated closely on the Summer… --- ## [Nix@NGI team update: October 2025](https://discourse.nixos.org/t/nix-ngi-team-update-october-2025/73431)

It may appear that this was a slower month due to recent adjustments in the team structure; however, the workload remained substantial. At the start of the month, we initiated a project restructuring in connection with @… --- ## [Nix@NGI team update: September 2025](https://discourse.nixos.org/t/nix-ngi-team-update-september-2025/71200)

**Author:** [@idabzo](https://discourse.nixos.org/u/idabzo)\ **Replies:** 0\ **Last updated:** [October 23, 2025, 7:17pm UTC](https://discourse.nixos.org/t/nix-ngi-team-update-september-2025/71200 "2025-10-23T19:17:29Z")

Hello Autumn! We’re proud to share the latest progress from our ongoing work on packaging NGI projects in Nixpkgs. With NixCon 2025 and a few other busy events behind us, September was a calmer month - but also a produ… --- ## [Nix@NGI team update: July&August 2025](https://discourse.nixos.org/t/nix-ngi-team-update-july-august-2025/71199)

**Author:** [@idabzo](https://discourse.nixos.org/u/idabzo)\ **Replies:** 0\ **Last updated:** [October 23, 2025, 7:16pm UTC](https://discourse.nixos.org/t/nix-ngi-team-update-july-august-2025/71199 "2025-10-23T19:16:54Z")

Two Summer Months Combined into One Note Hello friends and followers, For those who have been waiting for updates: you’ll be delighted to hear what we achieved over the summer! While it might seem like summertime slows t… --- ## [Involuntary farewell](https://discourse.nixos.org/t/involuntary-farewell/68424)

**Author:** [@fricklerhandwerk](https://discourse.nixos.org/u/fricklerhandwerk)\ **Replies:** 3\ **Last updated:** [September 1, 2025, 5:11pm UTC](https://discourse.nixos.org/t/involuntary-farewell/68424 "2025-09-01T17:11:10Z")

Unfortunately I have to step down from the Summer of Nix project for health reasons. I had informed the NixOS Foundation board and steering committee, and they decided that @Ericson2314 will take over my responsibilities… --- ## [Nix@NGI Monthly Team Update - June](https://discourse.nixos.org/t/nix-ngi-monthly-team-update-june/66535)

**Author:** [@idabzo](https://discourse.nixos.org/u/idabzo)\ **Replies:** 0\ **Last updated:** [July 14, 2025, 12:01pm UTC](https://discourse.nixos.org/t/nix-ngi-monthly-team-update-june/66535 "2025-07-14T12:01:53Z")

June was a big month at NGI@Nix. We welcomed fresh energy, extra hands, and shipped a bunch of projects. Here’s your quick behind-the-scenes look at what’s been happening. Extra Forces, Extra Velocity Thanks to the fant… --- ## [Nix@NGI report for 2025Q1: 2025-01-13 — 2025-04-15](https://discourse.nixos.org/t/nix-ngi-report-for-2025q1-2025-01-13-2025-04-15/63859)

**Author:** [@fricklerhandwerk](https://discourse.nixos.org/u/fricklerhandwerk)\ **Replies:** 0\ **Last updated:** [May 5, 2025, 12:33am UTC](https://discourse.nixos.org/t/nix-ngi-report-for-2025q1-2025-01-13-2025-04-15/63859 "2025-05-05T00:33:17Z")

The Nix@NGI team supports authors of software funded though the Next Generation Internet (NGI) initiative, by getting as many as possible of the more than 1200 NLnet-funded software projects to work smoothly on NixOS. Th… --- ## [2025-06-20 Nix@NGI Weekly Team Update](https://discourse.nixos.org/t/2025-06-20-nix-ngi-weekly-team-update/65864)

**Author:** [@idabzo](https://discourse.nixos.org/u/idabzo)\ **Replies:** 0\ **Last updated:** [June 20, 2025, 6:05pm UTC](https://discourse.nixos.org/t/2025-06-20-nix-ngi-weekly-team-update/65864 "2025-06-20T18:05:26Z")

While the full monthly update will be published in the coming days, we just couldn’t wait to share how much progress has been made lately! Thanks to a streak of smooth development and strong coordination, this week’s jo… --- ## [2025-06-04 Nix@NGI team update](https://discourse.nixos.org/t/2025-06-04-nix-ngi-team-update/65182)

**Author:** [@idabzo](https://discourse.nixos.org/u/idabzo)\ **Replies:** 0\ **Last updated:** [June 4, 2025, 11:10am UTC](https://discourse.nixos.org/t/2025-06-04-nix-ngi-team-update/65182 "2025-06-04T11:10:12Z")

If you want to go fast, go alone. If you want to go far, go together — A proverb of unclear origin We’re now heading into the sixth month of the Nix@NGI team’s collaboration, and things are moving steadily toward achie… --- ## [2025-05-07 Nix@NGI team update](https://discourse.nixos.org/t/2025-05-07-nix-ngi-team-update/63976)

**Author:** [@idabzo](https://discourse.nixos.org/u/idabzo)\ **Replies:** 0\ **Last updated:** [May 7, 2025, 9:52pm UTC](https://discourse.nixos.org/t/2025-05-07-nix-ngi-team-update/63976 "2025-05-07T21:52:26Z")

As we enter the fifth month of our NGI collaboration this year, our focus remains clear: to make the vast constellation of NGI software not only reproducible, but discoverable, approachable, and ready to use - with Nix. … --- ## [2025-03-26 Nix@NGI Team Update](https://discourse.nixos.org/t/2025-03-26-nix-ngi-team-update/62232)

**Author:** [@idabzo](https://discourse.nixos.org/u/idabzo)\ **Replies:** 0\ **Last updated:** [March 27, 2025, 8:06am UTC](https://discourse.nixos.org/t/2025-03-26-nix-ngi-team-update/62232 "2025-03-27T08:06:44Z")

We continue our work on packaging all NGI Zero-funded projects in a declarative, transparent, and verifiable way. With Nix packaging applied consistently across all NGI Zero programs, this approach aims to ensure a smoot… --- ## [2025-02-23 Nix@NGI Team Update](https://discourse.nixos.org/t/2025-02-23-nix-ngi-team-update/60814)

**Author:** [@idabzo](https://discourse.nixos.org/u/idabzo)\ **Replies:** 0\ **Last updated:** [February 24, 2025, 2:01pm UTC](https://discourse.nixos.org/t/2025-02-23-nix-ngi-team-update/60814 "2025-02-24T14:01:18Z")

Brief Summary We appreciate the participation of project authors in completing the surveys. Their input helps us gather useful insights. Thank you to everyone involved—your feedback guides our work and helps us move forw… --- ## [2025-02-13 Nix@NGI Team Update](https://discourse.nixos.org/t/2025-02-13-nix-ngi-team-update/60237)

**Author:** [@idabzo](https://discourse.nixos.org/u/idabzo)\ **Replies:** 0\ **Last updated:** [February 13, 2025, 11:53am UTC](https://discourse.nixos.org/t/2025-02-13-nix-ngi-team-update/60237 "2025-02-13T11:53:15Z")

The Nix@NGI Team continues working towards the goals we set earlier. While we officially formed in January, we welcomed @imincik in early February. He helps manage our project workflow, offloading some responsibilities f… --- ## [2024 Summer of Nix program updates](https://discourse.nixos.org/t/2024-summer-of-nix-program-updates/46053)

**Author:** [@fricklerhandwerk](https://discourse.nixos.org/u/fricklerhandwerk)\ **Replies:** 5\ **Last updated:** [January 30, 2025, 3:55am UTC](https://discourse.nixos.org/t/2024-summer-of-nix-program-updates/46053 "2025-01-30T03:55:11Z")

Hello everyone, and welcome to Summer of Nix 2024! My name is Valentin, and together with @mightyiam I organise the fourth edition of the northern-hemisphere summer program on behalf of the NixOS Foundation. Summer of N… --- ## [How to start contributions to Summer of Nix](https://discourse.nixos.org/t/how-to-start-contributions-to-summer-of-nix/58455)

**Author:** [@arshPratap](https://discourse.nixos.org/u/arshPratap)\ **Replies:** 1\ **Last updated:** [January 7, 2025, 8:15pm UTC](https://discourse.nixos.org/t/how-to-start-contributions-to-summer-of-nix/58455 "2025-01-07T20:15:41Z")

Hi everyone. My name is Arsh Pratap, I had contributed a lot towards the Software Discovery Tool (by Open Mainframe Project) and thats how I was introduced towards the world of software package-managers and also came a… --- ## [Interviews with NGI software project authors](https://discourse.nixos.org/t/interviews-with-ngi-software-project-authors/51074)

**Author:** [@fricklerhandwerk](https://discourse.nixos.org/u/fricklerhandwerk)\ **Replies:** 1\ **Last updated:** [December 2, 2024, 3:54pm UTC](https://discourse.nixos.org/t/interviews-with-ngi-software-project-authors/51074 "2024-12-02T15:54:59Z")

Our NGI0 consortium partner APC started a series of interviews with the developers of various projects supported through the NGI program. These provide some context for what is happening both in detail as well as in the … --- ## [2023 Summer of Nix program updates](https://discourse.nixos.org/t/2023-summer-of-nix-program-updates/30376)

**Author:** [@fricklerhandwerk](https://discourse.nixos.org/u/fricklerhandwerk)\ **Replies:** 17\ **Last updated:** [April 28, 2024, 11:56pm UTC](https://discourse.nixos.org/t/2023-summer-of-nix-program-updates/30376 "2024-04-28T23:56:57Z")

Hello everyone, and welcome to this year’s Summer of Nix! My name is Valentin, and I support program organisers @mightyiam and @mat on behalf of the NixOS Foundation. My mission is primarily to facilitate communication:… --- ## [2024-04-23 team lead planning meeting](https://discourse.nixos.org/t/2024-04-23-team-lead-planning-meeting/44157)

**Author:** [@fricklerhandwerk](https://discourse.nixos.org/u/fricklerhandwerk)\ **Replies:** 2\ **Last updated:** [April 27, 2024, 6:40am UTC](https://discourse.nixos.org/t/2024-04-23-team-lead-planning-meeting/44157 "2024-04-27T06:40:09Z")

Attendees: @julienmalka @janik @jleightcap @fricklerhandwerk (later: @mightyiam) Preparation of Summer of Nix, and in response to recent community inquiries Agenda clarify purpose and goals of the summer program addre… --- ## [Two computers, one for communication and the other for programming](https://discourse.nixos.org/t/two-computers-one-for-communication-and-the-other-for-programming/27157)

**Author:** [@shadowrylander](https://discourse.nixos.org/u/shadowrylander)\ **Replies:** 12\ **Last updated:** [April 11, 2023, 6:07pm UTC](https://discourse.nixos.org/t/two-computers-one-for-communication-and-the-other-for-programming/27157 "2023-04-11T18:07:56Z")

Hello! Is what is described in the title allowed? I’m running NixOS on a Surface Book 2, and Windows on a Surface Pro 4; am I allowed to set up Jitsi on the Pro, and program on the Book 2? This is less of a load-balanci… --- ## [Automated packaging with dream2nix](https://discourse.nixos.org/t/automated-packaging-with-dream2nix/20435)

**Author:** [@DavHau](https://discourse.nixos.org/u/DavHau)\ **Replies:** 3\ **Last updated:** [October 25, 2022, 12:13pm UTC](https://discourse.nixos.org/t/automated-packaging-with-dream2nix/20435 "2022-10-25T12:13:36Z")

Hello, my Name is David, I’m the creator of the dream2nix project and I’m here together with @yusdacra to support you guys in using dream2nix for your packaging problems at the Summer of Nix and to help you contributing … [Previous page](https://discourse.nixos.org/c/dev/ngi-zero/45.md) [Next page](https://discourse.nixos.org/c/dev/ngi-zero/45.md?page=2)