leanprover/TensorLib - GitHub Explorer | GitHub Explorer | Trending

Stars

38

Forks

8

Watchers

38

Open Issues

2

Repository Health Score

🧡

55/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Regular updates - updated this month

20/30

67%

Recent Commits

fix: Name clashing and syntax error

Segev Elazar Mittelman•6 months ago

b76a064View on GitHub

add float bounds

Sean McLaughlin•6 months ago

d8137a4View on GitHub

chore: Update Lean to 4.23

Sean McLaughlin•6 months ago

b0f4e29View on GitHub

chore: remove spurious dependency

Sean McLaughlin•7 months ago

e75c008View on GitHub

chore: Update to 4.22

Sean McLaughlin•7 months ago

870693cView on GitHub

feat: add missing functions for scalar bools

Paul Biberstein•8 months ago

6ce41acView on GitHub

chore: Delete obsolete codeowner file

Sean McLaughlin•8 months ago

5d46030View on GitHub

chore: add license header script and update headers

Sean McLaughlin•8 months ago

73eba46View on GitHub

chore: add more byte conversions, fix namespaces

Sean McLaughlin•9 months ago

e4bd2c3View on GitHub

chore: Add Joonwon to code owners

Sean McLaughlin•9 months ago

9880950View on GitHub

chore: more ByteArray utilities

Sean McLaughlin•9 months ago

c9577f0View on GitHub

chore: Lean 4.20

Sean McLaughlin•9 months ago

82f891dView on GitHub

chore: lift Err to IO

Sean McLaughlin•9 months ago

0c20832View on GitHub

feat: add ByteArray.replicate and zeros

Sean McLaughlin•10 months ago

f4f5171View on GitHub

chore: make bytearray conversions a type class

Sean McLaughlin•10 months ago

8512859View on GitHub

View all commits

GitHub Explorer

TensorLib

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues