Popular repositories Loading

1. efi_example efi_example Public

   UEFI Application Example in VS2019

   C 1

2. bu3w.github.io bu3w.github.io Public

   CSS

3. polyml polyml Public

   Forked from polyml/polyml

   Poly/ML

   Standard ML

4. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

   Standard ML

5. opencv opencv Public

   Forked from opencv/opencv

   Open Source Computer Vision Library

   C++

6. librealsense librealsense Public

   Forked from realsenseai/librealsense

   Intel® RealSense™ SDK

   C++