Popular repositories

1. raylib-games-sokoban raylib-games-sokoban Public

   demo project as I learn how to use raylib.

   C++ 1

2. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

3. std4 std4 Public

   Forked from leanprover-community/batteries

   Standard Library for Lean 4

   Lean

4. Advent-of-code Advent-of-code Public

   My solutions to advent-of-code.

   C++

5. raylib raylib Public

   Forked from raysan5/raylib

   A simple and easy-to-use library to enjoy videogames programming

   C

6. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean