pcal

There are 0 repository under pcal topic.

• koenvervloesem / remarkable-calendar-creator

  Create calendars to display on a reMarkable device as the suspend screen or to write notes on, including events from your own online iCal calendar

  remarkable-tabletremarkableremarkable-2remarkable-splash-screenremarkable-suspend-screencalendaricalicalendaricspcalpdf
  Language:Shell 48

• manifoldfinance / tla-spec

  tla++ proofs and verifications

  tlatlapluspcaldistributedfault-tolerance
  Language:TLA 1