Codeberg · Codeberg.org

Updated

2026-08-07 15:10:19 +02:00

Updated

2026-08-02 12:34:28 +02:00

a declarative package manager, configurable in nushell, for your linux machine

Updated

2026-07-28 17:34:00 +02:00

Updated

2026-07-14 08:54:19 +02:00

Updated

2026-04-06 14:25:13 +02:00

Updated

2026-03-14 17:20:13 +01:00

Updated

2026-01-23 11:25:57 +01:00

Updated

2026-01-09 14:16:46 +01:00

Updated

2026-01-07 20:55:43 +01:00

CLI application for interacting with Forgejo

Updated

2025-10-22 05:22:15 +02:00

my tilde.club config

Updated

2025-08-31 20:54:55 +02:00

writing a C compiler in OCaml from scratch

Updated

2025-07-06 11:55:06 +02:00

A dark, easy on the eyes gtk theme

Updated

2025-05-22 10:03:12 +02:00

Course Contents - Programs and Proofs

Updated

2025-05-10 22:09:51 +02:00

Course content for Secure Systems Engineering

Updated

2025-05-08 23:16:02 +02:00

Read the original on codeberg.org ↗