Skip to content
View JaafarTanoukhi's full-sized avatar
💜
i love my senior rida
💜
i love my senior rida
6 followers · 5 following
  • Lebanon, Beirut

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Block or report JaafarTanoukhi

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
JaafarTanoukhi/README.md


💻 I love working with C++ on compilers, game engines, and everything in between.

Lean is cool

📔 I enjoy The Art of Computer Science by our lord and savior Donald Knuth

Known for rarely finishing my cool projects.

Pinned Loading

  1. godot godot Public

    Forked from godotengine/godot

    Godot Engine – Multi-platform 2D and 3D game engine

    C++

  2. cslib cslib Public

    Forked from leanprover/cslib

    A Lean library for Computer Science

    Lean

  3. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean