LsmAtPackRat

AnotherScript

A simple language VM.

IPA

IPA(Interaction-Preserving Abstraction) is a framework that leverages characteristics of TLA+ and enables practical and efficient compositional model checking for TLA+ specifications of distributed consensus protocols.

mosaic

The MOSAIC Operating Systems Model and Checker

P

The P programming language.

Tai-e-assignments

Tai-e assignments for static program analysis

UnLua

A feature-rich, easy-learning and highly optimized Lua scripting plugin for UE.

3d-game-shaders-for-beginners

🎮 A step-by-step guide to implementing SSAO, depth of field, lighting, normal mapping, and more for your 3D game.

LokiServer

A game server written in C++.

Book-list-of-computational-geometry-and-computer-graphics

Book list of computational geometry and computer graphics 计算几何和计算机图形学必读书单与经典书籍

com.unity.toonshader

Unity Toon Shader ( an experimental package )

d3d12book

Sample code for the book "Introduction to 3D Game Programming with DirectX 12"

DX12_dragonbook_comments

event-editor

Event flow editor for Breath of the Wild

EventFlow

Decompilation of the EventFlow (evfl) library

GameplayAbilitySystem_Aura

Online repo for Gameplay Ability System Course

GASDocumentation

My understanding of Unreal Engine 5's GameplayAbilitySystem plugin with a simple multiplayer sample project.

GASDocumentation_Chinese

godex

Godex is a Godot Engine ECS library.

hok_env

KilluaVM

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

ozz-animation

Open source c++ skeletal animation library and toolset

pbrt-v4-comment

Source code to pbrt, the ray tracer described in the forthcoming 4th edition of the "Physically Based Rendering: From Theory to Implementation" book.

PhysX

NVIDIA PhysX SDK

proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

Render-Crowd-Of-Animated-Characters

Animation Baker and Instancing for Animated Characters: Using GPU to implement large-amount animation characters rendering. The animation map for vertex shader to modify the vertex position of the mesh at runtime. Using GPU instancing to reduce draw calls.

sm64

A Super Mario 64 decompilation, brought to you by a bunch of clever folks.

sosp23-s3fifo

The repo for SOSP23 paper: FIFO queues are all you need for cache evictions

uGUI

Source code for the Unity UI system.

UnityCsReference

Unity C# reference source code.