Formally verified microkernel: Will it replace Linux on GNU systems? (mirror)

به روز رسانی شده 1 ماه پیش

AV1 from Alliance for Open Media: Google, Mozilla, Xiph.org, Cisco, ...

به روز رسانی شده 1 ماه پیش

Experimental OS from Russia: "userland" but also contains kernel code

به روز رسانی شده 2 سال پیش

به روز رسانی شده 3 سال پیش

The next-generation video codec for the Web (mirror)

به روز رسانی شده 5 سال پیش

The Ultimate Minimalistic Web Framework that does Nothing Magic™ (PHP version)

به روز رسانی شده 6 سال پیش

My "Blog" links point here

به روز رسانی شده 8 سال پیش

Firefox add-ons.

به روز رسانی شده 8 سال پیش

A strong, yet deterministic password generator forked from Jonathan Self's original proposition. Fulfills strong entropy requirements.

به روز رسانی شده 8 سال پیش

Parse PNG files in PHP

به روز رسانی شده 8 سال پیش

Parse MPEG-TS streams in PHP

به روز رسانی شده 8 سال پیش

Color handling for web

به روز رسانی شده 8 سال پیش

.onion address generator (archive)

به روز رسانی شده 8 سال پیش