Popular repositories Loading

1. lazygit lazygit Public

   Forked from jesseduffield/lazygit

   simple terminal UI for git commands

   Go

2. uv uv Public

   Forked from astral-sh/uv

   An extremely fast Python package and project manager, written in Rust.

   Rust

3. excalidraw excalidraw Public

   Forked from excalidraw/excalidraw

   Virtual whiteboard for sketching hand-drawn like diagrams

   TypeScript

4. autograd autograd Public

   Forked from HIPS/autograd

   Efficiently computes derivatives of NumPy code.

   Python

5. vscode vscode Public

   Forked from microsoft/vscode

   Visual Studio Code

   TypeScript

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean