vgmstream - A library for playback of various streamed audio formats used in video games.

Free/Open source game file resource explorer/unpacking tool made easy!

Pe多功能信息处理插件

📄 同济大学本科生毕业设计论文模板 | Tongji University Undergraduate Thesis Template | Overleaf / Mac / Linux / Windows / Workshop / Docker

Python implementation of the Ball-Pivoting algorithm (BPA)

🌊 [ECCV'24 Oral] MVSplat: Efficient 3D Gaussian Splatting from Sparse Multi-View Images

A Python-embedded modeling language for convex optimization problems.

A purely functional programming language with first class types

Learn Rust by writing Entirely Too Many linked lists

rust-rustlings-2024-spring-hehepig166 created by GitHub Classroom

A Rust built code judger utils with Web & CLI executables

A Rust compiler front-end for IDEs

The Rust Programming Language

Implementing Lambda Calculus in Lean4

Audio Editor

Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects.

Tactics for discharging Lean goals into SMT solvers.

Manipulation and analysis of geometric objects

Scientific Python Geometric Algorithms Library

A PyTorch Extension: Tools for easy mixed precision and distributed training in Pytorch

Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project

Formalizing Euclidean Geometry in Lean

Introductory game on Axiomatic Geometry by using Lean 3 theorem prover

MinGW-W64 compiler binaries

A tutorial for the Rust language

The OpenGL Extension Wrangler Library

A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input