http://pkgsrc.se RSS feeds from pkgsrc.se 10 en-us http://pkgsrc.se/math/cvc5 Automatic theorem prover for SMT (Satisfiability Modulo Theories) pkgsrc-users@NetBSD.org 2026-07-25T22:13:15.050662.00+00:00 http://pkgsrc.se/editors/vim-share Data files for the vim editor (vi clone) morr@NetBSD.org 2026-07-25T22:08:33.109686.00+00:00 http://pkgsrc.se/x11/gst-plugins1-ximagesrc Open source multimedia framework - X11 image plugin pkgsrc-users@NetBSD.org 2026-07-25T16:15:23.011113.00+00:00 http://pkgsrc.se/emulators/nono OMRON LUNA-I/LUNA-88K (and SHARP X68030) emulator pkgsrc-users@NetBSD.org 2026-07-25T16:04:45.298736.00+00:00 http://pkgsrc.se/wip/crush Glamourous AI coding agent for your favourite terminal drixter@e-utp.net 2026-07-25T15:41:06.70399.00+00:00 http://pkgsrc.se/wip/flux2 Continuous delivery solution for Kubernetes pkgsrc-users@NetBSD.org 2026-07-25T15:35:59.897694.00+00:00 http://pkgsrc.se/math/lean4 Programming language for theorem proving pkgsrc-users@NetBSD.org 2026-07-25T13:23:28.26056.00+00:00 http://pkgsrc.se/wip/kubeconform Kubernetes manifests validator leot@NetBSD.org 2026-07-25T13:19:05.851336.00+00:00 http://pkgsrc.se/www/miniflux Minimalist and opinionated feed reader drixter@e-utp.net 2026-07-25T12:58:12.691297.00+00:00 http://pkgsrc.se/net/dnscontrol Opinionated platform for managing DNS configuration drixter@e-utp.net 2026-07-25T12:23:07.271163.00+00:00 http://pkgsrc.se/devel/appstream Tools and libraries to work with AppStream metadata pkgsrc-users@NetBSD.org 2026-07-25T10:13:54.794352.00+00:00 http://pkgsrc.se/audio/fluidsynth Software synthesizer based on SoundFont2 pkgsrc-users@NetBSD.org 2026-07-25T09:49:17.096226.00+00:00 http://pkgsrc.se/wip/freecad General purpose parametric 3D CAD modeler rumko@NetBSD.org 2026-07-25T09:41:06.723596.00+00:00 http://pkgsrc.se/wip/Coin Free, portable, Open Inventor API implementation pkgsrc-users@NetBSD.org 2026-07-25T09:24:56.3438.00+00:00 http://pkgsrc.se/mail/cyrus-imapd310 Cyrus IMAP server pkgsrc-users@NetBSD.org 2026-07-25T06:37:05.508836.00+00:00 http://pkgsrc.se/wip/gotosocial Fediverse server written in Go nikita@NetBSD.org 2026-07-25T01:23:32.70552.00+00:00 http://pkgsrc.se/wip/leantar Lean 4 .olean file (de)compressor pkgsrc-users@NetBSD.org 2026-07-25T01:23:32.70552.00+00:00 http://pkgsrc.se/wip/lean4 Programming language for theorem proving pkgsrc-users@NetBSD.org 2026-07-25T01:23:32.70552.00+00:00 http://pkgsrc.se/wip/cadical SAT Solver pkgsrc-users@NetBSD.org 2026-07-25T01:23:32.70552.00+00:00 http://pkgsrc.se/wip/hawk-scheme Scheme jit that makes code fly! pkgsrc-users@NetBSD.org 2026-07-25T01:02:32.311576.00+00:00 http://pkgsrc.se/www/gotosocial Fediverse server written in Go nikita@NetBSD.org 2026-07-25T00:52:35.181318.00+00:00 http://pkgsrc.se/math/leantar Lean 4 .olean file (de)compressor pkgsrc-users@NetBSD.org 2026-07-24T22:07:17.472517.00+00:00 http://pkgsrc.se/math/cadical3 SAT Solver pkgsrc-users@NetBSD.org 2026-07-24T22:06:58.369584.00+00:00 http://pkgsrc.se/math/lean4 Programming language for theorem proving pkgsrc-users@NetBSD.org 2026-07-24T22:06:40.122085.00+00:00 http://pkgsrc.se/textproc/lowdown Simple Markdown translator pkgsrc-users@NetBSD.org 2026-07-24T21:57:38.262306.00+00:00 http://pkgsrc.se/print/tex-convbkmk Correct platex/uplatex bookmarks in PDF created with hyperref pkgsrc-users@NetBSD.org 2026-07-24T19:22:15.603134.00+00:00 http://pkgsrc.se/x11/kitty GPU based terminal emulator pkgsrc-users@NetBSD.org 2026-07-24T19:19:57.154022.00+00:00 http://pkgsrc.se/mail/mew Messaging in the Emacs World uebayasi@NetBSD.org 2026-07-24T19:18:14.007292.00+00:00 http://pkgsrc.se/mail/vmailmgr Virtual domain manager for qmail schmonz@NetBSD.org 2026-07-24T19:18:03.746317.00+00:00 http://pkgsrc.se/mail/php-vmailmgr Virtual domain manager for qmail (PHP bindings) schmonz@NetBSD.org 2026-07-24T19:17:45.011298.00+00:00