nelsonth / btoblas
Build-to-Order BLAS
☆11Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for btoblas
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- A high-performance DSL for deep neural networks in Julia☆53Updated 2 years ago
- Automatic differentiation for NumPy☆42Updated 11 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- playing with recurrent neural networks☆28Updated 9 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- Automatic Differentiation for Tensor Algebras☆28Updated 6 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Compiler with automatic differentiation☆45Updated last year
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- ☆54Updated 8 years ago
- A neural assembly compiler for pyTorch based on adaptive-neural-compilation☆27Updated 6 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- DeepAlgebra☆25Updated 7 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells☆7Updated 7 years ago
- ☆22Updated 10 years ago
- VATA Tree Automata Library☆32Updated 3 months ago
- a fully-differentiable graphical raytracer☆15Updated 9 years ago
- A low-level probabilistic programming framework embedded in Terra.☆28Updated 8 years ago
- Funn: Functional Neural Networks in Haskell☆24Updated 5 years ago
- ☆59Updated 8 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- ☆25Updated 4 years ago
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- MCMC for the Dark Energy Spectroscopic Instrument☆13Updated 8 years ago
- ☆42Updated 7 years ago