NVIDIA Linux open GPU kernel module source

A Rust-based userland which also adds compile-time assurances to seL4 development.

A curated set of links to formal methods involving provable code.

A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network…

A Rust-based, lightweight unikernel.

Mirror of https://gitlab.redox-os.org/redox-os/redox

A platform for community discussion. Free, open, simple.

roadmap to becoming a graphics developer

SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop model…

Component library with a native macOS Ventura and Windows 11 look-and-feel. 🚧 Work in progress.

Apple Silicon Guide. Learn all about the A17 Pro, A16 Bionic, R1, M1-series, M2-series, and M3-series chips. Along with all the Devices, Operating Systems, Tools, Gaming, and Software that Apple Si…

Intel SGX for Linux*

Unreal Engine Plugin for FFSM2

General-purpose C++ library for Dempster-Shafer Theory (DST)

⚔️ A tool for cross compiling shaders. Convert between GLSL, HLSL, Metal Shader Language, or older versions of GLSL.

💻📱 A cross platform system abstraction library written in C++ for managing windows and performing OS tasks.

Github repo for storing LlamaDatasets

The complete training code of the open-source high-performance Llama model, including the full process from pre-training to RLHF.

Documentation of NVIDIA chip/hardware interfaces

Compartmentalization of host behavior hooks for JS

Draft proposal for SES (Secure EcmaScript)

A curated list of SBOM (Software Bill Of Materials) related tools, frameworks, blogs, podcasts, and articles

🌍 🐓 Formal verification for JavaScript

⚠️ Browser fingerprinting via favicon!

Coverage-guided, in-process fuzzing for Node.js

Redact sensitive information from JSON for logging (Node.js)

A powerful obfuscator for JavaScript and Node.js

Security auditing tool for Azure environments

A collection of scripts for assessing Microsoft Azure security

Azure Security Resources and Notes