OSS implementation of the TCG TPM2 Software Stack (TSS2)

Hardware Description Languages

Inspired by free-programming-books, here's free-science-books

Source Codes for "A Pamphlet against R"

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

📚 Freely available programming books

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

Scheme Scripting Engine

Open Source Computer Vision Library

Windows Internals Book 7th edition Tools

Content for sysinternals.com

The official RISC-V getting started guide

RISC-V cryptography extensions standardisation work.

RISC-V Instruction Set Manual

JSON for Modern C++

Bitcoin Improvement Proposals

Bitcoin Core integration/staging tree

Vulkan best practice for mobile developers

Decentralized Privacy-Preserving Proximity Tracing -- Documents

Backend implementation for the Apple/Google exposure notification API.

Project overview, general documentation, and white papers. The CWA development ends on May 31, 2023. You still can warn other users until April 30, 2023. More information:

The Julia Programming Language

This repository contains .NET Documentation.

This repo is building the .NET Standard

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

The F# Software Foundation website

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

The definitive list of lists (of lists) curated on GitHub and elsewhere

The presentations of C++Now 2019.

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.