joelberkeley/spidr

Issues

• Monads in Idris are slow

  #366 opened 10 months ago by joelberkeley
  2

• Support not-sharing

  #399 opened 2 months ago by joelberkeley
  0

• Build StableHLO programs

  #365 opened a year ago by joelberkeley
  1

• Enable observable sharing in `Expr` via "let"

  #372 opened 3 months ago by joelberkeley
  1

• Install XLA as single shared library for each architecture

  #340 opened 3 months ago by joelberkeley
  1

• Efficient graph caching

  #367 opened 3 months ago by joelberkeley
  2

• macOS support

  #390 opened 5 months ago by joelberkeley
  0

• Function to cache functions

  #374 opened 7 months ago by joelberkeley
  0

• Distributed computing

  #387 opened 6 months ago by joelberkeley
  0

• Implement general tensor dot

  #325 opened 6 months ago by joelberkeley
  1

• Tensor tuples

  #327 opened 6 months ago by joelberkeley
  1

• Lightweight observable sharing with linear types

  #373 opened 7 months ago by joelberkeley
  0

• Handle XLA errors in Idris

  #371 opened 7 months ago by joelberkeley
  0

• Implement the *Ultimate Optimizer*

  #344 opened a year ago by joelberkeley
  1

• [ compat ] Build error with current Idris HEAD

  #345 opened a year ago by stefan-hoeck
  5

• Enable automatic release (publish C XLA lib)

  #357 opened a year ago by joelberkeley
  1

• Modules missing from ipkg are not caught by CI

  #363 opened a year ago by joelberkeley
  0

• Make `Broadcastable` constructors strictly orthogonal

  #214 opened 2 years ago by joelberkeley
  1

• Implement observable sharing

  #343 opened a year ago by joelberkeley
  1

• Add support for TPUs

  #351 opened a year ago by joelberkeley
  0

• Implement uniform and normal sampling in Idris

  #346 opened a year ago by joelberkeley
  0

• Add tagline to README summarising spidr

  #249 opened 2 years ago by joelberkeley
  2

• Fix flaky tests

  #333 opened 2 years ago by joelberkeley
  0

• Complete release notes for v0.0.5

  #326 opened 2 years ago by joelberkeley
  0

• Flaky tests are too flaky

  #317 opened 2 years ago by joelberkeley
  0

• Some APIs are unimplemented

  #225 opened 2 years ago by joelberkeley
  0

• Rename project

  #310 opened 2 years ago by joelberkeley
  0

• Improve compilation times for tensor usage

  #309 opened 2 years ago by joelberkeley
  0

• Transpose between any axes

  #266 opened 2 years ago by joelberkeley
  1

• Allow `reduce` across multiple axes at once

  #267 opened 2 years ago by joelberkeley
  0

• Improve type safety of Idris API to XLA

  #273 opened 2 years ago by joelberkeley
  1

• NumPy-like indexing and slicing

  #265 opened 2 years ago by joelberkeley
  0

• Integer width handling is not well defined

  #181 opened 2 years ago by joelberkeley
  0

• Implement random sampling with explicit seed

  #280 opened 2 years ago by joelberkeley
  0

• XLA max, min give wrong values for nan inputs

  #262 opened 2 years ago by joelberkeley
  0

• Support execution on GPU

  #252 opened 2 years ago by joelberkeley
  0

• Implement L-BFGS optimizer

  #223 opened 2 years ago by joelberkeley
  0

• Implement automatic differentiation

  #258 opened 2 years ago by joelberkeley
  0

• Implement `fromInteger` and `fromDouble` for scalars

  #213 opened 2 years ago by joelberkeley
  1

• Shape and dtype are often not inferred

  #227 opened 2 years ago by joelberkeley
  0

• Reuse constructed `XlaOp`s rather than rebuilding them every time

  #220 opened 2 years ago by joelberkeley
  1

• Implement multivariate Gaussian CDF

  #221 opened 2 years ago by joelberkeley
  0

• Implement grid search

  #222 opened 2 years ago by joelberkeley
  0

• Implement expected constrained improvement

  #224 opened 2 years ago by joelberkeley
  0

• Implement numeric interfaces for scalar tensors

  #212 opened 2 years ago by joelberkeley
  0

• Investigate SWIG etc. for C code generation

  #122 opened 2 years ago by joelberkeley
  1

• An `Isomorphic` type for isomorphic shapes?

  #210 opened 2 years ago by joelberkeley
  0

• Support complex numbers

  #170 opened 2 years ago by joelberkeley
  0

• Add test cases for inf and nan

  #162 opened 3 years ago by joelberkeley
  0

• Investigate whether to use probabilistic programming

  #119 opened 3 years ago by joelberkeley
  0