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,777 · score 3.37
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
10 repositories by Attention Score · Aug 7, 2026 – Nov 4, 2026 (UTC)
+17 stars
from 2,228 · score 2.89
3.bohonghuang / cl-gtk4
GTK4/Libadwaita/WebKit2 bindings for Common Lisp.
+4 stars
from 263 · score 1.61
4.VeriNum / vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
+3 stars
from 32 · score 1.39
5.Nihlus / AdvancedDLSupport
Delegate-based C# P/Invoke alternative - compatible with all platforms and runtimes.
- csharp
- pinvoke
- native
- c
- dotnet
- coreclr
- +2 more
+2 stars
from 509 · score 1.10
6.impermeable / rocq-waterproof
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.
+2 stars
from 51 · score 1.10
+2 stars
from 26 · score 1.10
8.TulipCharts / tulipnode
Tulip Node is the official node.js wrapper for Tulip Indicators. It provides over 100 technical analysis overlay and indicator functions.
+1 stars
from 514 · score 0.69
9.GeoCoq / GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
+1 stars
from 209 · score 0.69
+1 stars
from 139 · score 0.69