Pinned Repositories
AnotherScript
A simple language VM.
Awesome-GameDev
本仓库用于整理一些优秀的游戏开发资料🎮🕹🎲
Gaebolg
Lock-Free C library. 🔓🗽
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.
MIT6.824-WalkThrough
📒MIT6.824是一门非常好的分布式系统课程。它里面有很多的经典论文，以及4个主题实验。本仓库记录了该课程的通关攻略。
mosaic
The MOSAIC Operating Systems Model and Checker
P
The P programming language.
project_boom_client
SS2-like-game
类似于【光明之魂2】的同人游戏。大爱这个游戏，很难再有这样的回忆了。
Tai-e-assignments
Tai-e assignments for static program analysis
LsmAtPackRat's Repositories
LsmAtPackRat/AnotherScript
A simple language VM.
LsmAtPackRat/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.
LsmAtPackRat/mosaic
The MOSAIC Operating Systems Model and Checker
LsmAtPackRat/P
The P programming language.
LsmAtPackRat/Tai-e-assignments
Tai-e assignments for static program analysis
LsmAtPackRat/UnLua
A feature-rich, easy-learning and highly optimized Lua scripting plugin for UE.
LsmAtPackRat/LokiServer
A game server written in C++.
LsmAtPackRat/Book-list-of-computational-geometry-and-computer-graphics
Book list of computational geometry and computer graphics 计算几何和计算机图形学必读书单与经典书籍
LsmAtPackRat/com.unity.toonshader
Unity Toon Shader ( an experimental package )
LsmAtPackRat/d3d12book
Sample code for the book "Introduction to 3D Game Programming with DirectX 12"
LsmAtPackRat/DX12_dragonbook_comments
LsmAtPackRat/event-editor
Event flow editor for Breath of the Wild
LsmAtPackRat/EventFlow
Decompilation of the EventFlow (evfl) library
LsmAtPackRat/GameplayAbilitySystem_Aura
Online repo for Gameplay Ability System Course
LsmAtPackRat/GASDocumentation
My understanding of Unreal Engine 5's GameplayAbilitySystem plugin with a simple multiplayer sample project.
LsmAtPackRat/GASDocumentation_Chinese
LsmAtPackRat/godex
Godex is a Godot Engine ECS library.
LsmAtPackRat/hok_env
LsmAtPackRat/KilluaVM
LsmAtPackRat/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
LsmAtPackRat/ozz-animation
Open source c++ skeletal animation library and toolset
LsmAtPackRat/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.
LsmAtPackRat/PhysX
NVIDIA PhysX SDK
LsmAtPackRat/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
LsmAtPackRat/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.
LsmAtPackRat/Rich-Hickey-fanclub
"every time I watch one of his talks I feel like someone has gone in and organized my brain"
LsmAtPackRat/sm64
A Super Mario 64 decompilation, brought to you by a bunch of clever folks.
LsmAtPackRat/sosp23-s3fifo
The repo for SOSP23 paper: FIFO queues are all you need for cache evictions
LsmAtPackRat/uGUI
Source code for the Unity UI system.
LsmAtPackRat/UnityCsReference
Unity C# reference source code.