TinyUSDZ is secure, portable and dependency-free(depends only on C++ STL. Other 3rd-party libraries included. Yes, you don't need pxrUSD/OpenUSD library!) USDZ/USDC/USDA library written in C++14.
A modern Terminal User Interface (TUI) application for managing Claude Code configuration files (~/.claude.json). Simplify the management of MCP servers, projects, and conversations with an intuitive ...
Abstract: Isabelle2Cpp is a general framework that allows generating C++ codes from functional Isabelle/HOL specifications automatically. This paper further improves Isabelle2Cpp and optimizes the ...