Neptune: A Windows NT personality for the seL4 microkernel
active 2023-08-24 → 2026-08-14 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 1087 days from 2023-08-24 to 2026-08-14. Pushes: 1,529 total, peak 23 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 35 total, peak 5 in a day. Comments: 27 total, peak 5 in a day. Stars: 121 total, peak 11 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
Recent activity
Latest issues, pull requests and releases
- Issue comment#33cl912026-04-04 12:18High precision timers for drivers
- Issue comment#33cl912026-03-16 04:58High precision timers for drivers
- Issue comment#23cl912026-03-16 03:28io_uring-like async IO for NT
- Issue#44cl912026-03-15 05:36Fix SECTION object refcounting
- Issue comment#44cl912026-03-15 05:36Fix SECTION object refcounting
- Issue#44cl912026-03-13 10:17Fix SECTION object refcounting
- Issue comment#43cl912026-03-08 11:18Проблема при сборке
- Issue#43Endlad22026-02-24 09:35Проблема при сборке
- Issue#41Ivan-Velickovic2026-01-05 00:50README clarification for building seL4
- Issue comment#37cl912026-01-02 04:55Fix ISA bridge config so SuperIO can decode the floppy controller IO range. Basically LPC bridge (ICH7, PCI device 00:1f.0) → sets bit 0 (FDCEN) in config register 0x82. This is needed to get the floppy controller working on Gigabyte EG41M-S2H (Intel ICH7)
- Releasecl912025-12-30 05:50Release v0.3.0003
- Issue comment#40cl912025-12-29 05:05NVME performance improvements
- Issue#39cl912025-12-24 10:49Fix enumeration of devices behind PCI bridges
- Issue comment#39cl912025-12-24 10:49Fix enumeration of devices behind PCI bridges
- Issue#39cl912025-12-23 13:27Fix enumeration of devices behind PCI bridges
- Issue#38cl912025-12-08 02:01Release v0.4 work items
- Issue#37cl912025-12-07 07:25Fix ISA bridge config so SuperIO can decode the floppy controller IO range. Basically LPC bridge (ICH7, PCI device 00:1f.0) → sets bit 0 (FDCEN) in config register 0x82. This is needed to get the floppy controller working on Gigabyte EG41M-S2H (Intel ICH7)
- Issue#36cl912025-12-07 07:09Misc. driver issue tracker
- Issue#35cl912025-11-24 03:30Implement remounting of removable media when they are unexpectedly removed
- Issue#34cl912025-11-22 13:21Create the `CriticalSectionLockSemaphore` etc when creating process and populate them in `NTDLL_PROCESS_INIT_INFO`.
- Issue comment#27cl912025-11-13 05:15Investigate the RtlCreateUserProcess failure on FAT16
- Issue#32cl912025-11-13 04:15i8042prt: Poll when no interrupt is generated for a while
- Issue comment#32cl912025-11-13 04:15i8042prt: Poll when no interrupt is generated for a while
- Issue#33cl912025-11-12 10:53High precision timers for drivers
- Issue#24cl912025-11-06 05:17NVMe storage driver
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 121 stars here means stars gained during the window, not the repo's star count.