Sams Teach Yourself Linux in 24 Hours

Prove theorems in Coq by extracting lemmas at failure points. Also contains tools for parsing Coq files and fine-tuning LLMs.

Goose converts a subset of Go to Rocq

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

HTTP specification in Coq, testable and verifiable

A framework for the elicitation, specification, formalization and analysis of requirements.

An extensible framework to audit executing operations in .NET and .NET Core.

Transform Alloy models into C# models to be used with the Microsoft official ORM, Entity Framework

My basic OpenGL starter program

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

The P programming language.

a Productive Parallel Programming Language

A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level la…

Oculus mobile compiled for the asset library

GDExtension-based OpenVR (SteamVR) module

Unity Render Streaming SDK to stream VR from CloudXR to WebXR over WebRTC

CloudXR sample applications for streaming AR/VR/MR content from the cloud

Convert image files into C arrays of uint8_t for compiling into your project

Automagic fan control for the Nvidia Jetson Nano

GPU-Motunui is a path tracer that renders Disney Animation's Moana Island scene.

A simple parser for the PBRT file format

A fast, GPU-ready bezier-curve implementation

This repository contains various examples to use with the XR Interaction Toolkit

A GPU accelerated image and video processing framework built on Metal.

A Metal fragment shader editor for macOS and iOS

Personal notes for SAA-C02 test from: https://learn.cantrill.io

Unity Open Project #1: Chop Chop

The Web framework for perfectionists with deadlines.