viperproject/gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

GitHub repository with 170 stars and 39 forks.

Language: Scala

Topics: go, golang, verification

Open provider repository

24h trend summary

Trending score 1.10, freshness score 0.92, stars gained +3, forks gained +1.

Latest metric snapshot

2026-06-15: 170 stars and 39 forks.

Trending in Scala

  1. 1. playframework/twirl

    Twirl is Play's default template engine

    GitHub repository with 560 stars and 118 forks.

    Trending score: 0.55; stars gained: +1; forks gained: +0.

    Language: Scala

    Topics: playframework, twirl, template-engine, template-language, template-library, scala

  2. 2. scala/community-build

    Scala 2 community build — a corpus of open-source repos built against Scala nightlies

    GitHub repository with 141 stars and 60 forks.

    Trending score: 0.10; stars gained: +0; forks gained: +0.

    Language: Scala

Trending topic: go

  1. 1. uptrace/bun

    SQL-first Golang ORM

    GitHub repository with 4,854 stars and 280 forks.

    Trending score: 1.02; stars gained: +2; forks gained: +1.

    Language: Go

    Topics: golang, go, orm, sql, mysql, postgresql

  2. 2. rivernova/hosomaki

    Hosomaki, the intelligence layer for Linux

    GitHub repository with 16 stars and 4 forks.

    Trending score: 0.20; stars gained: +0; forks gained: +0.

    Language: Go

    Topics: ai, anthropic, cli, go, golang, linux

  3. 3. Vein05/nomnom

    Bulk renaming and organizing with genAI.

    GitHub repository with 18 stars and 2 forks.

    Trending score: 0.00.

    Language: Go

  4. 4. rgraphql/rgraphql

    Live-updating and streaming GraphQL.

    GitHub repository with 224 stars and 5 forks.

    Trending score: 0.10; stars gained: +0; forks gained: +0.

    Language: Go

    Topics: graphql, go, realtime

  5. 5. m-manu/rsync-sidekick

    Propagate file renames, movements, timestamp changes and much more before `rsync` runs

    GitHub repository with 118 stars and 5 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Go

    Topics: golang, go, backups, command-line-tool, command-line-utility, media

  6. 6. file-go/fil

    :yum: Unix file command written in Go

    GitHub repository with 116 stars and 20 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Go

    Topics: go, golang, windows, unix, command-line, cli