division-by-zero

Here are 3 public repositories matching this topic...

Dydya-Vasya / paradox

Description: Multi-Level Numerical System library for C++ - from academic research to production

hpc overflow scientific-computing cpp17 quantitative-finance floating-point mathematical-modelling infinity-engine division-by-zero infinity-prototypes

Updated Jan 6, 2026
C++

Playful-Sincerity / IVNA-Indexed-Virtual-Number-Algebra

Star

Indexed Virtual Number Algebra — a consistent algebraic framework making division by zero operable. Lean 4 proofs, Python implementation, interactive demo.

algebra mathematics formal-verification lean4 division-by-zero nonstandard-analysis

Updated Apr 25, 2026
Python

inoas / check_maybe_div_by_zero

Star

A Gleam source code checker to detect possible divison by zero

linter ci-cd gleam-language division-by-zero gleam-library

Updated May 23, 2026
Gleam

Improve this page

Add a description, image, and links to the division-by-zero topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the division-by-zero topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly