1.therecipe / qt
Qt binding for Go (Golang) with support for Windows / macOS / Linux / FreeBSD / Android / iOS / Sailfish OS / Raspberry Pi / AsteroidOS / Ubuntu Touch / JavaScript / WebAssembly
+28 stars
from 10,776 · score 3.37
Ranked by Attention Score: stars gained over the last 90 complete days
5 repositories by Attention Score · Aug 6, 2026 – Nov 3, 2026 (UTC)
Qt binding for Go (Golang) with support for Windows / macOS / Linux / FreeBSD / Android / iOS / Sailfish OS / Raspberry Pi / AsteroidOS / Ubuntu Touch / JavaScript / WebAssembly
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
A formalization of geometry in Coq based on Tarski's axiom system
Audio visualizer for YouTube, YT Music, Spotify, and SoundCloud with musical notes.