Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by MrDiver
A curated list of projects in awesome lists by MrDiver .
https://github.com/mrdiver/armsimulator
ARM Assembler Editor and Simulator written in C++ with QT5 and ANTLR 4.8
Last synced: 13 Oct 2024
https://github.com/mrdiver/cliptex
Handy tool to convert a latex snippet in your clipboard to an image in your clipboard
Last synced: 13 Oct 2024
https://github.com/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.
ispin model-checker promela spin
Last synced: 26 Nov 2024
https://github.com/mrdiver/spring_simulation_p5js
A Spring Simulation visualized with P5 JS
Last synced: 26 Nov 2024
https://github.com/mrdiver/gausstolatex_python
A simple python script which allows users to easily convert a gauss system to a latex description
Last synced: 26 Nov 2024
https://github.com/mrdiver/raylibtemplateproject
A raylib template project ready for use also including raygui
Last synced: 26 Nov 2024
https://github.com/mrdiver/nameforge
Go Library for Producing Human-Readable Names
Last synced: 25 Nov 2024
https://github.com/mrdiver/wayland-screenshot
A barebones wayland screenshotting tool based on wayshot and slurp
Last synced: 26 Nov 2024
https://github.com/mrdiver/sudokusolver
Parallel Sudoku Solver with extra conditions to solve mathematics advent puzzle
Last synced: 16 Dec 2024
https://github.com/mrdiver/logicsimulator
Simple Logic Simulator written with Svelte
Last synced: 26 Nov 2024