rems-project/lem

Commits: 302

coq/opam

Archive for all Coq related OPAM packages organized in various repositories

Commits: 5

rocq-prover/opam

Archive for all Rocq and Coq-related opam packages organized in various repositories

Commits: 5

microsoft/pxt-neopixel

A Neo-Pixel package for pxt-microbit

Commits: 2

kromitgmbh/titra

titra - modern open source project time tracking for freelancers and small teams

Commits: 1