aldum

aldum's Stars

• lbryio/lbry-sdk

  The LBRY SDK for building decentralized, censorship resistant, monetized, digital content apps.

  Language:Python7.2k1711.8k482

• Start9Labs/start-os

  Open source Linux distro optimized for self-hosting

  Language:Rust965241.1k91

• dodie/vim-disapprove-deep-indentation

  ಠ_ಠ Vim plugin to disapprove deeply indented code. ಠ_ಠ

  Language:Vim script56171010

• NiLuJe/FBInk

  FrameBuffer eInker, a small tool & library to print text & images to an eInk Linux framebuffer

  Language:C329133423

• isovector/certainty-by-construction

  Source material for Certainty by Construction

  Language:TeX36389

• lemastero/agda-hott

  Notes on Homotopy Type Theory in Agda

  Language:Agda3200