Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 15, 2025

• chore: Delete obsolete codeowner file

  Show description for 5d46030
  seanmcl

  committed
  5d46030

  Copy full SHA for 5d46030

• chore: add license header script and update headers

  seanmcl

  committed
  73eba46

  Copy full SHA for 73eba46

Commits on Jul 8, 2025

• chore: add more byte conversions, fix namespaces

  seanmcl

  committed
  e4bd2c3

  Copy full SHA for e4bd2c3

Commits on Jun 24, 2025

• chore: Add Joonwon to code owners

  seanmcl

  committed
  9880950

  Copy full SHA for 9880950

• chore: more ByteArray utilities

  seanmcl

  committed
  c9577f0

  Copy full SHA for c9577f0

Commits on Jun 12, 2025

• chore: Lean 4.20

  seanmcl

  committed
  82f891d

  Copy full SHA for 82f891d

• chore: lift Err to IO

  Show description for 0c20832
  seanmcl

  committed
  0c20832

  Copy full SHA for 0c20832

Commits on May 28, 2025

• feat: add ByteArray.replicate and zeros

  seanmcl

  committed
  f4f5171

  Copy full SHA for f4f5171

• chore: make bytearray conversions a type class

  Show description for 8512859
  seanmcl

  committed
  8512859

  Copy full SHA for 8512859

• chore: fix bug in array utils and add a monadlift instance

  seanmcl

  committed
  b365ecd

  Copy full SHA for b365ecd

Commits on May 19, 2025

• Fix intAtDimIndex to return the right value

  Show description for ff31809
  

  aqjune-aws

  authored and

  govereau

  committed
  ff31809

  Copy full SHA for ff31809

Commits on May 4, 2025

• feat: add 16-bit conversions from ByteArray

  govereau

  committed
  fbaa25b

  Copy full SHA for fbaa25b

Commits on May 1, 2025

• feat: Add big-endian versions of util functions for UIntX and ByteArray

  Show description for 38a71e6
  seanmcl

  committed
  38a71e6

  Copy full SHA for 38a71e6

• chore: Update to Lean 4.19.0

  seanmcl

  committed
  51e2d57

  Copy full SHA for 51e2d57

• chore: Refactor Common, III

  Show description for eddbbf0
  seanmcl

  committed
  eddbbf0

  Copy full SHA for eddbbf0

• Add BEq to Tensor

  

  aqjune-aws

  authored and

  seanmcl

  committed
  aef8aff

  Copy full SHA for aef8aff

• chore: Refactor Common.lean, II

  seanmcl

  committed
  ebb68bf

  Copy full SHA for ebb68bf

• chore: Refactor Common.lean I

  Show description for 486b50d
  seanmcl

  committed
  486b50d

  Copy full SHA for 486b50d

• feat: add `np.full`

  Show description for 340a746
  seanmcl

  committed
  340a746

  Copy full SHA for 340a746

Commits on Apr 3, 2025

• feat: show import graph

  seanmcl

  committed
  bde71b9

  Copy full SHA for bde71b9

Commits on Apr 2, 2025

• chore: update to Lean 4.18.0

  seanmcl

  committed
  6e09abb

  Copy full SHA for 6e09abb

Commits on Apr 1, 2025

• feat: add bitwise ops

  seanmcl

  committed
  8708fbc

  Copy full SHA for 8708fbc

• feat: add shift ops

  seanmcl

  committed
  085e454

  Copy full SHA for 085e454

Commits on Mar 28, 2025

• feat: add logical operators

  seanmcl

  committed
  6a7996e

  Copy full SHA for 6a7996e

Commits on Mar 27, 2025

• feat: Add trig functions

  Show description for 751d1d9
  seanmcl

  committed
  751d1d9

  Copy full SHA for 751d1d9

Commits on Mar 26, 2025

• feat: add abs, improve dtype

  Show description for 17a7cae
  seanmcl

  committed
  17a7cae

  Copy full SHA for 17a7cae

Commits on Mar 19, 2025

• chore: improve lock-step iterators

  Show description for 80c93db
  seanmcl

  committed
  80c93db

  Copy full SHA for 80c93db

Commits on Mar 18, 2025

• chore: update to Lean 4.17

  seanmcl

  committed
  6b1a89a

  Copy full SHA for 6b1a89a

• chore: Remove evals

  seanmcl

  committed
  96c0275

  Copy full SHA for 96c0275

Commits on Mar 17, 2025

• chore: add Ufunc.unop and make more things public

  Show description for 0b4f0b0
  seanmcl

  committed
  0b4f0b0

  Copy full SHA for 0b4f0b0

Commits on Mar 16, 2025

• chore: make Tensor.toNpy public, remove non-unit strides

  Show description for fdc529c
  seanmcl

  committed
  fdc529c

  Copy full SHA for fdc529c

Commits on Mar 13, 2025

• chore: tweak imports

  Show description for abb8751
  seanmcl

  committed
  abb8751

  Copy full SHA for abb8751

• chore: improve iterators

  Show description for 7a9dc3d
  seanmcl

  committed
  7a9dc3d

  Copy full SHA for 7a9dc3d

Commits on Mar 7, 2025

• fix: Fix bug in Slice.size, prove size d <= d

  seanmcl

  committed
  81f5c85

  Copy full SHA for 81f5c85

Commits on Mar 4, 2025

• chore: Make all arrays little-endian

  Show description for 9e794a9
  seanmcl

  committed
  9e794a9

  Copy full SHA for 9e794a9

Pagination

Previous

Next