Tristan Schulz's repositories
manim
A community-maintained Python framework for creating mathematical animations.
ImSpin
ImSpin is an advanced and modernized version of the classic iSpin frontend, leveraging the power and flexibility of ImGui to provide a superior user experience. Designed as the frontend for the SPIN model checker, ImSpin aims to offer an intuitive, efficient, and visually appealing interface for model checking enthusiasts and professionals.
byacc-cmake
Working CMake Version of byacc
wayland-screenshot
A barebones wayland screenshotting tool based on wayshot and slurp
LogicSimulator
Simple Logic Simulator written with Svelte
GaussToLatex_Python
A simple python script which allows users to easily convert a gauss system to a latex description
raylib
A simple and easy-to-use library to enjoy videogames programming
RaylibTemplateProject
A raylib template project ready for use also including raygui
OpenGLExperimentsMrDiver
Use at your own Risk
Spring_Simulation_P5JS
A Spring Simulation visualized with P5 JS