Giters
joelberkeley
/
spidr
Accelerated machine learning with dependent types
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
65
Watchers:
2
Issues:
85
Forks:
3
joelberkeley/spidr Issues
Build StableHLO programs
Updated
a year ago
Implement the *Ultimate Optimizer*
Closed
a year ago
Comments count
1
Install XLA as single shared library for each architecture
Updated
a year ago
Comments count
1
[ compat ] Build error with current Idris HEAD
Closed
a year ago
Comments count
5
Enable automatic release (publish C XLA lib)
Closed
a year ago
Comments count
1
Modules missing from ipkg are not caught by CI
Updated
a year ago
Make `Broadcastable` constructors strictly orthogonal
Updated
a year ago
Comments count
1
Implement observable sharing
Closed
a year ago
Comments count
1
Add support for TPUs
Updated
a year ago
Implement uniform and normal sampling in Idris
Updated
a year ago
Add tagline to README summarising spidr
Closed
2 years ago
Comments count
2
Fix flaky tests
Updated
2 years ago
Implement general tensor dot
Updated
2 years ago
Tensor tuples
Updated
2 years ago
Complete release notes for v0.0.5
Updated
2 years ago
Flaky tests are too flaky
Updated
2 years ago
Implement automatic differentiation
Updated
2 years ago
Some APIs are unimplemented
Updated
2 years ago
Rename project
Updated
2 years ago
Improve compilation times for tensor usage
Updated
2 years ago
Transpose between any axes
Closed
2 years ago
Comments count
1
Allow `reduce` across multiple axes at once
Closed
2 years ago
Improve type safety of Idris API to XLA
Updated
2 years ago
Comments count
1
NumPy-like indexing and slicing
Closed
2 years ago
Integer width handling is not well defined
Closed
2 years ago
Implement random sampling with explicit seed
Closed
2 years ago
XLA max, min give wrong values for nan inputs
Updated
2 years ago
Support execution on GPU
Closed
2 years ago
Implement L-BFGS optimizer
Updated
2 years ago
Implement automatic differentiation
Closed
2 years ago
Implement `fromInteger` and `fromDouble` for scalars
Closed
2 years ago
Comments count
1
Shape and dtype are often not inferred
Closed
2 years ago
Reuse constructed `XlaOp`s rather than rebuilding them every time
Closed
2 years ago
Comments count
1
Implement multivariate Gaussian CDF
Updated
2 years ago
Implement grid search
Updated
2 years ago
Implement expected constrained improvement
Updated
2 years ago
Implement numeric interfaces for scalar tensors
Updated
2 years ago
Investigate SWIG etc. for C code generation
Closed
2 years ago
Comments count
1
An `Isomorphic` type for isomorphic shapes?
Updated
2 years ago
How to handle failure for mathematical ops?
Closed
2 years ago
Comments count
1
Support complex numbers
Updated
2 years ago
Add test cases for inf and nan
Updated
2 years ago
Add XLA build to CI
Closed
3 years ago
Comments count
1
Investigate whether to use probabilistic programming
Updated
3 years ago
Implement category-theoretic interfaces for `Tensor`
Updated
3 years ago
Comments count
1
Tutorial on Gaussian process inference
Updated
3 years ago
Allow broadcasting to match dims from different axes?
Updated
3 years ago
A well-founded `Broadcastable`
Updated
3 years ago
Implement Gaussian process regression with non-Gaussian likelihood
Updated
3 years ago
Implement Gaussian process classification
Updated
3 years ago
Previous
Next