MrDiver

ClipTex

Handy tool to convert a latex snippet in your clipboard to an image in your clipboard

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.

fTetWild

Fast Tetrahedral Meshing in the Wild

manim

A community-maintained Python framework for creating mathematical animations.

manimlib

Animation engine for explanatory math videos

MrDiver

RaylibCudaTemplate

AdventOfCode

byacc-cmake

Working CMake Version of byacc

CardDavToFritzbox

chelle

Educational Shell Project in C

EduMotion

FerrousLogic

GameOfLifeTaichi

GaussToLatex_Python

A simple python script which allows users to easily convert a gauss system to a latex description

github-stats

gmsh-fork

Fork of gmsh to update for modern cmake

Issue_PR_Templates

Klipper_Ender3_PRO_BTT_SKR_MINI_E3_V2

LogicSimulator

Simple Logic Simulator written with Svelte

moderngl

Modern OpenGL binding for Python

NameForge

Go Library for Producing Human-Readable Names

RaytracingOpenGL

SudokuSolver

Parallel Sudoku Solver with extra conditions to solve mathematics advent puzzle

tcp-udp-toe

TestingAutomationAndTemplates

vial-qmk

QMK fork with Vial-specific features.

VulkanExperiments

WaterSensor_ESP8266

wayland-screenshot

A barebones wayland screenshotting tool based on wayshot and slurp