awesome/repos

#1,823 of 5,656 by stars

bendlang/bend

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

Open on GitHubWebsiteOpen comparison
Stars
23,797
Forks
757
Created
3y ago
Last push
today

Momentum

Per day
+38
Per 7 days
+214
Per 30 days
+3.7K
Rank, 7 days
+16

Stars over time

19K20K21K22K23K24KSep 17Oct 5Oct 12Oct 19
View as table
DateStars
Sep 17, 202619,837
Oct 5, 202623,366
Oct 12, 202623,583
Oct 19, 202623,797

Understand this repo

Open it in a tool that explains, diagrams or digests the code.

Similar repositories

Ranked by how many distinctive topics they share with this one.

  1. 2736

    Build and run Docker containers leveraging NVIDIA GPUs

    17.6K-2 7d2.1K2y ago
  2. 3361

    CUDA on non-NVIDIA GPUs

    15.1K+171 7d959Rusttoday
  3. 4926

    NumPy aware dynamic Python compiler using LLVM

    11.2K+9 7d1.3KPython3d ago
  4. 2577

    A cross-platform, safe, pure-Rust graphics API.

    18.3K+70 7d1.5KRusttoday
  5. 5282

    CUDA Templates and Python DSLs for High-Performance Linear Algebra

    10.6K+58 7d2.1KC++4d ago
  6. 3414
    14.9K+26 7d1.4KPython3d ago