https://github.com/markgoodhead/dictate-wizard

Dictate Wizard is an open source dictation tool powered by OpenAI's Whisper. The goal is to obsolete as much typing as possible and let you speak your emails, instant messages etc instead.

conjecture faster-whisper openai soniox whisper

Last synced: 11 Mar 2025

https://github.com/bitwyre/chebyshev_primality_testing

Chebyshev polynomials of the first kind and primality testing

c chebyshev-polynomials congruence conjecture mod primality-test prime prime-numbers

Last synced: 05 Sep 2025

https://github.com/dickeyy/collatz-calculator

A calculator to test numbers against the collatz conjecture

algorithm calculator collatz collatz-conjecture conjecture gui python tkinter

Last synced: 12 Apr 2025

https://github.com/void4main/collatz-conjecture

Get to understand the Collatz conjecture

collatz conjecture simple

Last synced: 23 Jul 2025

https://github.com/rudxain/collatz_finder

Tries to find a counter-example to the Collatz Conjecture, in Rust

3nplus1 collatz collatz-conjecture collatz-problem computer-science conjecture math search

Last synced: 14 Mar 2025

https://github.com/01one/advancedcalculation

advanced-calculations conjecture cython goldbach-conjecture mathematics pygame python travelling-salesman-problem

Last synced: 13 Sep 2025

https://github.com/kartmaan/prime-number-analysis

Analysis notebook on prime numbers

analysis conjecture fibonacci fibonacci-numbers fibonacci-sequence math mathematics matplotlib notebook number-theory numpy polyfit prime prime-number-algorithm prime-numbers trends

Last synced: 17 May 2026

https://github.com/kartmaan/collatz_conjecture

Graphic representations of Collatz sequences

collatz collatz-algorithm collatz-conjecture collatz-problem collatz-sequences collatzconjecture conjecture graphics math mathematics pyqt5 pyqtgraph syracuse unsolved-problems

Last synced: 03 Aug 2025

https://github.com/monklimonk/mini_collatz_demo-

Minimal Coq formalization of Collatz iteration with proofs and computations (n27 ->1)

collatz conjecture coq demo formal-verification lyapunov mathematics number-theory proof rocq-prover

Last synced: 03 Nov 2025

https://github.com/rudxain/82k

Find numbers that can be written as 0s and 1s in all bases

82000 binary bits conjecture numbers numerals radix seximal

Last synced: 14 Mar 2025