Roseman Labs
[past: TU Eindhoven / ABN AMRO / Swiss Federal Institute of Technology, Lausanne (EPFL) / Centrum Wiskunde & Informatica (CWI)]
Stars
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
HACL*, a formally verified cryptographic library written in F*
saarraz / clang-concepts-monorepo
Forked from llvm/llvm-project****** OBSOLETE - CONCEPTS HAS BEEN MERGED INTO CLANG TRUNK AND DEVELOPMENT CONTINUES THERE ****** This fork of llvm-project contains my implementation of C++2a Concepts for the Clang compiler, and…
Use AirPlay to stream to UPnP/Sonos & Chromecast devices
AirConnect package for Synology NAS and Synology Router