pravic's starred repositories
hacker-laws
💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws
cppinsights
C++ Insights - See your source code with the eyes of a compiler
subsurface
This is the official upstream of the Subsurface divelog program
abi-compliance-checker
A tool for checking backward API/ABI compatibility of a C/C++ library
winapi-kmd-rs
Windows Kernel-Mode Drivers written in Rust
mdbook-epub
An experimental mdbook backend for creating EPUB documents.
openmusictheory.github.io
A growing, online "textbook" for music theory and aural skills
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
rust-analyzer.vs
Rust language support for Visual Studio 2022
rust-windows-dll
Macro for dynamically loading windows dll functions
sciter-template
A template for sciter-rs projects