Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Bifrost
Bifrost

petergpt/lean-3d-game-axiom

A playable 3D voxel game built in Lean 4.

#Game
Visit GitHub
Lean
23
1
1 contributors
MIT License
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

Momentum

How fast petergpt/lean-3d-game-axiom is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Jul 2026 – Oct 2026

Stars +23 in 4 months

0102030
21

Forks +1 in 4 months

01
1

Merged PRs 0 in 4 months

01

Trendshift Trendingthe best rank each month, on any day it made the top 25

Top 25 in Lean

210
Jul 2026Aug 2026Sep 2026Oct 2026
The left and right arrow keys step from month to month; Home and End go to the first and the last

Stars, forks, merged pull requests and best Trendshift Trending rank, by month
MonthStars gainedForks gainedMerged PRsLean
July 2026+21+10Best #2 · 5 days
August 2026+2+00Best #10 · 2 days
September 2026+0+00Not trending
October 2026+0+00Not trending
Total+23+10
  • 1#1 on the list
  • 7Best rank that month
  • Not trending

Mentions and achievements

Where people are talking about petergpt/lean-3d-game-axiom, and every badge it has earned
    1. Jul 121 post

      • GPT-5.6-Sol-Ultra is so good at maths that it created Minecraft clone in Lean (yes that Lean)

        Read full on X, posted by @petergostev

        @petergostev · x.com

    You might also like

    Repositories close to petergpt/lean-3d-game-axiom
    FeaturedAdvertise to 180K+ monthly visitors
    Bifrost

    Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

    namgyaaal/avoxelgame

    APL

    Voxel Game written in Dyalog APL and SDL3

    945

    Rokasbarasa1/minecraft_rust

    Rust

    A light remake of Minecraft in Rust. A challenge for myself.

    766

    generatives/Wrecker

    C#

    Voxel Engine and Game

    567

    emezeske/digbuild

    C++

    Explore, dig, and build in a randomized, voxel-based world.

    634

    jsoulier/blocks

    C

    Tiny Minecraft clone in C and HLSL using the new SDL3 GPU API

    30315

    kpreid/all-is-cubes

    Rust

    Yet another block/voxel game; in this one the blocks are made out of blocks. Runs in browsers on WebGPU+WebAssembly.

    23814

    Dreamtowards/Ethertum

    Rust

    A Voxel Multiplayer Sandbox Survival Game built in Rust & Bevy.

    55338

    Angais/Fable5-mc

    JavaScript
    8224

    Linirby/HelloVoxel

    C++

    A voxel engine made with SDL3 GPU (Vulkan Backend)

    271