├── .github └── workflows │ ├── checks.yml │ ├── release-c-xla.yml │ ├── release-docs.yml │ ├── release-pjrt-plugin-xla-cpu.yml │ └── release-pjrt-plugin-xla-cuda.yml ├── .gitignore ├── LICENSE ├── README.md ├── XLA_VERSION ├── dev.sh ├── openxla-dev.Dockerfile ├── pack.toml ├── pjrt-plugins ├── README.md ├── xla-cpu │ ├── .gitignore │ ├── PjrtPluginXlaCpu.idr │ ├── README.md │ ├── VERSION │ ├── build.sh │ ├── pjrt-plugin-xla-cpu.ipkg │ └── postinstall.sh └── xla-cuda │ ├── .gitignore │ ├── CUDA_VERSION │ ├── CUDNN_VERSION │ ├── Dockerfile │ ├── PjrtPluginXlaCuda.idr │ ├── README.md │ ├── VERSION │ ├── build.sh │ ├── pjrt-plugin-xla-cuda.ipkg │ └── postinstall.sh ├── readme.ipkg ├── spidr ├── backend │ ├── .bazelrc │ ├── .bazelversion │ ├── .gitignore │ ├── BUILD │ ├── VERSION │ ├── WORKSPACE │ ├── build.sh │ └── src │ │ ├── BUILD │ │ ├── ffi.cpp │ │ ├── ffi.h │ │ └── xla │ │ ├── BUILD │ │ ├── client │ │ ├── BUILD │ │ ├── executable_build_options.cpp │ │ ├── executable_build_options.h │ │ ├── lib │ │ │ ├── BUILD │ │ │ ├── arithmetic.cpp │ │ │ ├── constants.cpp │ │ │ ├── math.cpp │ │ │ ├── matrix.cpp │ │ │ └── prng.cpp │ │ ├── xla_builder.cpp │ │ ├── xla_builder.h │ │ ├── xla_computation.cpp │ │ └── xla_computation.h │ │ ├── literal.cpp │ │ ├── literal.h │ │ ├── pjrt │ │ ├── BUILD │ │ ├── c │ │ │ ├── BUILD │ │ │ └── pjrt_c_api.cpp │ │ └── pjrt_executable.cpp │ │ ├── shape.cpp │ │ ├── shape.h │ │ ├── shape_util.cpp │ │ ├── shape_util.h │ │ ├── xla_data.pb.cpp │ │ └── xla_data.pb.h ├── postinstall.sh ├── spidr.ipkg └── src │ ├── BayesianOptimization.idr │ ├── BayesianOptimization │ └── Acquisition.idr │ ├── Compiler │ ├── Eval.idr │ ├── Expr.idr │ ├── FFI.idr │ ├── LiteralRW.idr │ └── Xla │ │ ├── Client │ │ ├── ExecutableBuildOptions.idr │ │ ├── Lib │ │ │ ├── Arithmetic.idr │ │ │ ├── Constants.idr │ │ │ ├── Math.idr │ │ │ ├── Matrix.idr │ │ │ └── PRNG.idr │ │ ├── XlaBuilder.idr │ │ └── XlaComputation.idr │ │ ├── Literal.idr │ │ ├── PJRT │ │ ├── C │ │ │ └── PjrtCApi.idr │ │ └── PjrtExecutable.idr │ │ ├── Shape.idr │ │ ├── ShapeUtil.idr │ │ └── XlaData.idr │ ├── Constants.idr │ ├── Data.idr │ ├── Device.idr │ ├── Distribution.idr │ ├── Literal.idr │ ├── Model.idr │ ├── Model │ ├── GaussianProcess.idr │ ├── Kernel.idr │ └── MeanFunction.idr │ ├── Optimize.idr │ ├── Primitive.idr │ ├── Tensor.idr │ ├── Types.idr │ └── Util.idr ├── test ├── runner │ ├── TestRunner.idr │ ├── TestUtils.idr │ ├── Unit │ │ ├── Model │ │ │ └── TestKernel.idr │ │ ├── TestDistribution.idr │ │ ├── TestLiteral.idr │ │ ├── TestTensor.idr │ │ ├── TestTensor │ │ │ ├── Elementwise.idr │ │ │ ├── HigherOrder.idr │ │ │ ├── Sampling.idr │ │ │ ├── Slice.idr │ │ │ └── Structure.idr │ │ └── TestUtil.idr │ ├── Utils.idr │ ├── Utils │ │ ├── Cases.idr │ │ ├── Comparison.idr │ │ ├── Proof.idr │ │ └── TestComparison.idr │ └── runner.ipkg ├── xla-cpu │ ├── XlaCpu.idr │ └── xla-cpu.ipkg └── xla-cuda │ ├── Dockerfile │ ├── README.md │ ├── XlaCuda.idr │ └── xla-cuda.ipkg └── tutorials ├── BayesianOptimizationDesign.md ├── DependentlyTypedTensors.md ├── HowSpidrWorks.md ├── Nuisances.md ├── README.md ├── bayesian-optimization-design.ipkg ├── dependently-typed-tensors.ipkg └── nuisances.ipkg /.github/workflows/checks.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/.github/workflows/checks.yml -------------------------------------------------------------------------------- /.github/workflows/release-c-xla.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/.github/workflows/release-c-xla.yml -------------------------------------------------------------------------------- /.github/workflows/release-docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/.github/workflows/release-docs.yml -------------------------------------------------------------------------------- /.github/workflows/release-pjrt-plugin-xla-cpu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/.github/workflows/release-pjrt-plugin-xla-cpu.yml -------------------------------------------------------------------------------- /.github/workflows/release-pjrt-plugin-xla-cuda.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/.github/workflows/release-pjrt-plugin-xla-cuda.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/README.md -------------------------------------------------------------------------------- /XLA_VERSION: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/XLA_VERSION -------------------------------------------------------------------------------- /dev.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/dev.sh -------------------------------------------------------------------------------- /openxla-dev.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/openxla-dev.Dockerfile -------------------------------------------------------------------------------- /pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pack.toml -------------------------------------------------------------------------------- /pjrt-plugins/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/README.md -------------------------------------------------------------------------------- /pjrt-plugins/xla-cpu/.gitignore: -------------------------------------------------------------------------------- 1 | /xla 2 | -------------------------------------------------------------------------------- /pjrt-plugins/xla-cpu/PjrtPluginXlaCpu.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/xla-cpu/PjrtPluginXlaCpu.idr -------------------------------------------------------------------------------- /pjrt-plugins/xla-cpu/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/xla-cpu/README.md -------------------------------------------------------------------------------- /pjrt-plugins/xla-cpu/VERSION: -------------------------------------------------------------------------------- 1 | 0.0.2 -------------------------------------------------------------------------------- /pjrt-plugins/xla-cpu/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/xla-cpu/build.sh -------------------------------------------------------------------------------- /pjrt-plugins/xla-cpu/pjrt-plugin-xla-cpu.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/xla-cpu/pjrt-plugin-xla-cpu.ipkg -------------------------------------------------------------------------------- /pjrt-plugins/xla-cpu/postinstall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/xla-cpu/postinstall.sh -------------------------------------------------------------------------------- /pjrt-plugins/xla-cuda/.gitignore: -------------------------------------------------------------------------------- 1 | /xla 2 | -------------------------------------------------------------------------------- /pjrt-plugins/xla-cuda/CUDA_VERSION: -------------------------------------------------------------------------------- 1 | 12.6.3 -------------------------------------------------------------------------------- /pjrt-plugins/xla-cuda/CUDNN_VERSION: -------------------------------------------------------------------------------- 1 | 9.6.0 -------------------------------------------------------------------------------- /pjrt-plugins/xla-cuda/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/xla-cuda/Dockerfile -------------------------------------------------------------------------------- /pjrt-plugins/xla-cuda/PjrtPluginXlaCuda.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/xla-cuda/PjrtPluginXlaCuda.idr -------------------------------------------------------------------------------- /pjrt-plugins/xla-cuda/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/xla-cuda/README.md -------------------------------------------------------------------------------- /pjrt-plugins/xla-cuda/VERSION: -------------------------------------------------------------------------------- 1 | 0.0.2 -------------------------------------------------------------------------------- /pjrt-plugins/xla-cuda/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/xla-cuda/build.sh -------------------------------------------------------------------------------- /pjrt-plugins/xla-cuda/pjrt-plugin-xla-cuda.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/xla-cuda/pjrt-plugin-xla-cuda.ipkg -------------------------------------------------------------------------------- /pjrt-plugins/xla-cuda/postinstall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/pjrt-plugins/xla-cuda/postinstall.sh -------------------------------------------------------------------------------- /readme.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/readme.ipkg -------------------------------------------------------------------------------- /spidr/backend/.bazelrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/.bazelrc -------------------------------------------------------------------------------- /spidr/backend/.bazelversion: -------------------------------------------------------------------------------- 1 | 6.1.2 2 | -------------------------------------------------------------------------------- /spidr/backend/.gitignore: -------------------------------------------------------------------------------- 1 | /xla 2 | -------------------------------------------------------------------------------- /spidr/backend/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/BUILD -------------------------------------------------------------------------------- /spidr/backend/VERSION: -------------------------------------------------------------------------------- 1 | 0.0.14 2 | -------------------------------------------------------------------------------- /spidr/backend/WORKSPACE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/WORKSPACE -------------------------------------------------------------------------------- /spidr/backend/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/build.sh -------------------------------------------------------------------------------- /spidr/backend/src/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/BUILD -------------------------------------------------------------------------------- /spidr/backend/src/ffi.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/ffi.cpp -------------------------------------------------------------------------------- /spidr/backend/src/ffi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/ffi.h -------------------------------------------------------------------------------- /spidr/backend/src/xla/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/BUILD -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/BUILD -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/executable_build_options.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/executable_build_options.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/executable_build_options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/executable_build_options.h -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/lib/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/lib/BUILD -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/lib/arithmetic.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/lib/arithmetic.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/lib/constants.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/lib/constants.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/lib/math.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/lib/math.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/lib/matrix.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/lib/matrix.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/lib/prng.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/lib/prng.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/xla_builder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/xla_builder.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/xla_builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/xla_builder.h -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/xla_computation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/xla_computation.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/client/xla_computation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/client/xla_computation.h -------------------------------------------------------------------------------- /spidr/backend/src/xla/literal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/literal.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/literal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/literal.h -------------------------------------------------------------------------------- /spidr/backend/src/xla/pjrt/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/pjrt/BUILD -------------------------------------------------------------------------------- /spidr/backend/src/xla/pjrt/c/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/pjrt/c/BUILD -------------------------------------------------------------------------------- /spidr/backend/src/xla/pjrt/c/pjrt_c_api.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/pjrt/c/pjrt_c_api.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/pjrt/pjrt_executable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/pjrt/pjrt_executable.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/shape.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/shape.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/shape.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/shape.h -------------------------------------------------------------------------------- /spidr/backend/src/xla/shape_util.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/shape_util.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/shape_util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/shape_util.h -------------------------------------------------------------------------------- /spidr/backend/src/xla/xla_data.pb.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/xla_data.pb.cpp -------------------------------------------------------------------------------- /spidr/backend/src/xla/xla_data.pb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/backend/src/xla/xla_data.pb.h -------------------------------------------------------------------------------- /spidr/postinstall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/postinstall.sh -------------------------------------------------------------------------------- /spidr/spidr.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/spidr.ipkg -------------------------------------------------------------------------------- /spidr/src/BayesianOptimization.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/BayesianOptimization.idr -------------------------------------------------------------------------------- /spidr/src/BayesianOptimization/Acquisition.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/BayesianOptimization/Acquisition.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Eval.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Eval.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Expr.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Expr.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/FFI.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/FFI.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/LiteralRW.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/LiteralRW.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/Client/ExecutableBuildOptions.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/Client/ExecutableBuildOptions.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/Client/Lib/Arithmetic.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/Client/Lib/Arithmetic.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/Client/Lib/Constants.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/Client/Lib/Constants.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/Client/Lib/Math.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/Client/Lib/Math.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/Client/Lib/Matrix.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/Client/Lib/Matrix.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/Client/Lib/PRNG.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/Client/Lib/PRNG.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/Client/XlaBuilder.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/Client/XlaBuilder.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/Client/XlaComputation.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/Client/XlaComputation.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/Literal.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/Literal.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/PJRT/C/PjrtCApi.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/PJRT/C/PjrtCApi.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/PJRT/PjrtExecutable.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/PJRT/PjrtExecutable.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/Shape.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/Shape.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/ShapeUtil.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/ShapeUtil.idr -------------------------------------------------------------------------------- /spidr/src/Compiler/Xla/XlaData.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Compiler/Xla/XlaData.idr -------------------------------------------------------------------------------- /spidr/src/Constants.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Constants.idr -------------------------------------------------------------------------------- /spidr/src/Data.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Data.idr -------------------------------------------------------------------------------- /spidr/src/Device.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Device.idr -------------------------------------------------------------------------------- /spidr/src/Distribution.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Distribution.idr -------------------------------------------------------------------------------- /spidr/src/Literal.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Literal.idr -------------------------------------------------------------------------------- /spidr/src/Model.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Model.idr -------------------------------------------------------------------------------- /spidr/src/Model/GaussianProcess.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Model/GaussianProcess.idr -------------------------------------------------------------------------------- /spidr/src/Model/Kernel.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Model/Kernel.idr -------------------------------------------------------------------------------- /spidr/src/Model/MeanFunction.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Model/MeanFunction.idr -------------------------------------------------------------------------------- /spidr/src/Optimize.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Optimize.idr -------------------------------------------------------------------------------- /spidr/src/Primitive.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Primitive.idr -------------------------------------------------------------------------------- /spidr/src/Tensor.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Tensor.idr -------------------------------------------------------------------------------- /spidr/src/Types.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Types.idr -------------------------------------------------------------------------------- /spidr/src/Util.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/spidr/src/Util.idr -------------------------------------------------------------------------------- /test/runner/TestRunner.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/TestRunner.idr -------------------------------------------------------------------------------- /test/runner/TestUtils.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/TestUtils.idr -------------------------------------------------------------------------------- /test/runner/Unit/Model/TestKernel.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Unit/Model/TestKernel.idr -------------------------------------------------------------------------------- /test/runner/Unit/TestDistribution.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Unit/TestDistribution.idr -------------------------------------------------------------------------------- /test/runner/Unit/TestLiteral.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Unit/TestLiteral.idr -------------------------------------------------------------------------------- /test/runner/Unit/TestTensor.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Unit/TestTensor.idr -------------------------------------------------------------------------------- /test/runner/Unit/TestTensor/Elementwise.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Unit/TestTensor/Elementwise.idr -------------------------------------------------------------------------------- /test/runner/Unit/TestTensor/HigherOrder.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Unit/TestTensor/HigherOrder.idr -------------------------------------------------------------------------------- /test/runner/Unit/TestTensor/Sampling.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Unit/TestTensor/Sampling.idr -------------------------------------------------------------------------------- /test/runner/Unit/TestTensor/Slice.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Unit/TestTensor/Slice.idr -------------------------------------------------------------------------------- /test/runner/Unit/TestTensor/Structure.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Unit/TestTensor/Structure.idr -------------------------------------------------------------------------------- /test/runner/Unit/TestUtil.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Unit/TestUtil.idr -------------------------------------------------------------------------------- /test/runner/Utils.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Utils.idr -------------------------------------------------------------------------------- /test/runner/Utils/Cases.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Utils/Cases.idr -------------------------------------------------------------------------------- /test/runner/Utils/Comparison.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Utils/Comparison.idr -------------------------------------------------------------------------------- /test/runner/Utils/Proof.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Utils/Proof.idr -------------------------------------------------------------------------------- /test/runner/Utils/TestComparison.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/Utils/TestComparison.idr -------------------------------------------------------------------------------- /test/runner/runner.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/runner/runner.ipkg -------------------------------------------------------------------------------- /test/xla-cpu/XlaCpu.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/xla-cpu/XlaCpu.idr -------------------------------------------------------------------------------- /test/xla-cpu/xla-cpu.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/xla-cpu/xla-cpu.ipkg -------------------------------------------------------------------------------- /test/xla-cuda/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/xla-cuda/Dockerfile -------------------------------------------------------------------------------- /test/xla-cuda/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/xla-cuda/README.md -------------------------------------------------------------------------------- /test/xla-cuda/XlaCuda.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/xla-cuda/XlaCuda.idr -------------------------------------------------------------------------------- /test/xla-cuda/xla-cuda.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/test/xla-cuda/xla-cuda.ipkg -------------------------------------------------------------------------------- /tutorials/BayesianOptimizationDesign.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/tutorials/BayesianOptimizationDesign.md -------------------------------------------------------------------------------- /tutorials/DependentlyTypedTensors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/tutorials/DependentlyTypedTensors.md -------------------------------------------------------------------------------- /tutorials/HowSpidrWorks.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/tutorials/HowSpidrWorks.md -------------------------------------------------------------------------------- /tutorials/Nuisances.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/tutorials/Nuisances.md -------------------------------------------------------------------------------- /tutorials/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/tutorials/README.md -------------------------------------------------------------------------------- /tutorials/bayesian-optimization-design.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/tutorials/bayesian-optimization-design.ipkg -------------------------------------------------------------------------------- /tutorials/dependently-typed-tensors.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/tutorials/dependently-typed-tensors.ipkg -------------------------------------------------------------------------------- /tutorials/nuisances.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joelberkeley/spidr/HEAD/tutorials/nuisances.ipkg --------------------------------------------------------------------------------