Pinned Repositories
manim
A community-maintained Python framework for creating mathematical animations.
ArmEmulatorJava
ARMv5 emulator(or more simulator) written in java [work in progress]
ArmSimulator
ARM Assembler Editor and Simulator written in C++ with QT5 and ANTLR 4.8
Benchmarking-MPC-Solvers
ClipTex
Handy tool to convert a latex snippet in your clipboard to an image in your clipboard
DarkBunny
fTetWild
Fast Tetrahedral Meshing in the Wild
OpenGLExperimentsMrDiver
Use at your own Risk
ShadingExperiments-Raylib
Spring_Simulation_P5JS
A Spring Simulation visualized with P5 JS
MrDiver's Repositories
MrDiver/ClipTex
Handy tool to convert a latex snippet in your clipboard to an image in your clipboard
MrDiver/Benchmarking-MPC-Solvers
MrDiver/fTetWild
Fast Tetrahedral Meshing in the Wild
MrDiver/gstreamer-cpp
MrDiver/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.
MrDiver/manim
A community-maintained Python framework for creating mathematical animations.
MrDiver/manimlib
Animation engine for explanatory math videos
MrDiver/MrDiver
MrDiver/RaylibCudaTemplate
MrDiver/OpenGLExperimentsMrDiver
Use at your own Risk
MrDiver/ShadingExperiments-Raylib
MrDiver/byacc-cmake
Working CMake Version of byacc
MrDiver/CardDavToFritzbox
MrDiver/ControllerOverlaySkins
MrDiver/FerrousLogic
MrDiver/GameOfLifeTaichi
MrDiver/GaussToLatex_Python
A simple python script which allows users to easily convert a gauss system to a latex description
MrDiver/github-stats
MrDiver/Issue_PR_Templates
MrDiver/Klipper_Ender3_PRO_BTT_SKR_MINI_E3_V2
MrDiver/LogicSimulator
Simple Logic Simulator written with Svelte
MrDiver/raylib
A simple and easy-to-use library to enjoy videogames programming
MrDiver/RaylibTemplateProject
A raylib template project ready for use also including raygui
MrDiver/RaytracingOpenGL
MrDiver/SymbolicLearning
MrDiver/tcp-udp-toe
MrDiver/TestingAutomationAndTemplates
MrDiver/VulkanExperiments
MrDiver/WaterSensor_ESP8266
MrDiver/wayland-screenshot
A barebones wayland screenshotting tool based on wayshot and slurp