Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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/mrdiver

Last synced: 26 Nov 2024

https://github.com/mrdiver/speedbot

Last synced: 26 Nov 2024

https://github.com/mrdiver/darkbunny

Last synced: 26 Nov 2024

https://github.com/mrdiver/openglexperimentsmrdiver

Use at your own Risk

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/autoencoder

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/ccluaapi

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/byacc-cmake

Working CMake Version of byacc

Last synced: 26 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

https://github.com/mrdiver/tcp-udp-toe

Last synced: 18 Nov 2024