Stars
zaz / cLEAN
Forked from leanprover/lean4Constructive Lean. As of April 1st, 2026, this is the canonical repository for Lean 4 development.
arkenoi / liteqube
Forked from a-barinov/litequbeLiteqube - put Qubes OS on a diet
djs55 / ocaml-9p
Forked from mirage/ocaml-9pAn OCaml/Mirage-friendly implementation of the 9P protocol
KSU-Space-Mission / APRS
Forked from lightaprs/LightAPRS-1.0The Arduino code for the Light APRS used for the space mission.
froeb / liteqube-4.2
Forked from a-barinov/litequbeLiteqube - put Qubes OS on a diet - for Qubes 4.2 and Debian 12
TenaciousTapioca / Quantas
Forked from QuantasSupport/QuantasQuantitative User-friendly Adaptable Networked Things Abstract Simulator
cjblomqvist / dokku-git-rev
Forked from mlebkowski/dokku-git-rev$GIT_REV in your dokku env
Photo-Story / photostory
Forked from zaz/photostoryPhotostory lets you take a picture of yourself every day, and compile them into a video, showing the story of your life as photos of you.
collectiveidea / delayed_job
Forked from tobi/delayed_jobDatabase based asynchronous priority queue system -- Extracted from Shopify