funexists/raylean

Lean4 bindings for raylib

GitHub repository with 26 stars and 5 forks.

Language: C

Topics: ecs, games-development, lean, lean4, puns, raylib

Open provider repository

Latest metric snapshot

2026-06-05: 26 stars and 5 forks.

Trending in C

  1. 1. antirez/ds4

    DeepSeek 4 Flash local inference engine for Metal and CUDA

    GitHub repository with 12,963 stars and 1,130 forks.

    Trending score: 3.46; stars gained: +74; forks gained: +5.

    Language: C

  2. 2. netdata/netdata

    The fastest path to AI-powered full stack observability, even for lean teams.

    GitHub repository with 79,065 stars and 6,456 forks.

    Trending score: 3.03; stars gained: +25; forks gained: +4.

    Language: C

    Topics: monitoring, docker, kubernetes, cncf, prometheus, netdata

  3. 3. vercel-labs/zerolang

    The programming language for agents

    GitHub repository with 4,866 stars and 315 forks.

    Trending score: 2.75; stars gained: +27; forks gained: +4.

    Language: C

  4. 4. HermannBjorgvin/Clawdmeter

    ESP32 desk dashboard that shows Claude Code usage

    GitHub repository with 1,525 stars and 182 forks.

    Trending score: 2.63; stars gained: +24; forks gained: +5.

    Language: C

  5. 5. Unclecheng-li/poc-lab

    Recent CVE PoC & reproduction scripts. Focused on high-severity vulnerabilities across Linux kernel, Windows, macOS and more.

    GitHub repository with 487 stars and 84 forks.

    Trending score: 2.27; stars gained: +20; forks gained: +2.

    Language: C

    Topics: c, cybersecurity, linux, poc, python, python3

  6. 6. eunomia-bpf/agentsight

    Zero instrucment system-level AI agent tracing in eBPF

    GitHub repository with 393 stars and 59 forks.

    Trending score: 2.26; stars gained: +23; forks gained: +2.

    Language: C

    Topics: agent, ebpf, llm, observability

Trending topic: ecs

  1. 1. floci-io/floci

    Light, fluffy, and always free - The AWS Local Emulator alternative

    GitHub repository with 13,633 stars and 1,294 forks.

    Trending score: 3.33; stars gained: +78; forks gained: +7.

    Language: Java

    Topics: aws, aws-emulation, devops, docker, ec2, ecs

  2. 2. utibeabasi6/mercek

    A local-first desktop IDE for Amazon ECS

    GitHub repository with 32 stars and 1 forks.

    Trending score: 1.31; stars gained: +16; forks gained: +0.

    Language: TypeScript

    Topics: aws, aws-ecs, devops, ecs, react, rust

  3. 3. GameFoundry/B3DFramework

    Modern C++ library for the development of real-time graphical applications

    GitHub repository with 1,879 stars and 200 forks.

    Trending score: 1.22; stars gained: +18; forks gained: -1.

    Language: C++

    Topics: c-plus-plus, game-engine-framework, vulkan, gamedev, graphics, ecs

  4. 4. ark-ecs/Ark.jl

    Archetype-based Entity Component System (ECS) for Julia

    GitHub repository with 77 stars and 6 forks.

    Trending score: 0.59; stars gained: +2; forks gained: +0.

    Language: Julia

    Topics: ecs, entity-component-system, julia, agent-based-modeling, individual-based-modelling, simulation

  5. 5. NiiightmareXD/golab

    Goofy, cartoonish, open-source multiplayer shooter written in Rust with Bevy 👻

    GitHub repository with 36 stars and 4 forks.

    Trending score: 0.44; stars gained: +2; forks gained: +0.

    Language: Rust

    Topics: 3d, 3d-game, bevy, bevy-game, ecs, game

  6. 6. xiaoiver/infinite-canvas-tutorial

    A tutorial on infinite canvas

    GitHub repository with 1,019 stars and 65 forks.

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

    Language: TypeScript

    Topics: infinite-canvas, webgl, webgpu, rendering-2d-graphics, rendering-engine, visualization