bu3w's repositories
efi_example
UEFI Application Example in VS2019
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.
Language:Standard MLNOASSERTION000
librealsense
Intel® RealSense™ SDK
Language:C++Apache-2.0000
opencv
Open Source Computer Vision Library
Language:C++Apache-2.0000
polyml
Poly/ML
Language:Standard MLLGPL-2.1000