sergei-mironov / htvmLinks
Haskell experiments involving TVM AI framework
☆20Updated 6 years ago
Alternatives and similar repositories for htvm
Users that are interested in htvm are comparing it to the libraries listed below
Sorting:
- Encoding of GHC Core inside MLIR☆19Updated 5 years ago
- a playground for working with fully static tensors and automatic differentiation☆16Updated 4 years ago
- Haskell bindings for MLIR☆118Updated 3 weeks ago
- half-precision floating-point☆17Updated 2 months ago
- A SAT solver written in Haskell.☆39Updated 7 years ago
- Haskell FFI bindings to CUDA☆80Updated 3 months ago
- A naive θ..θ programming language☆27Updated 7 years ago
- LLVM backend for Accelerate☆167Updated 2 weeks ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Updated 5 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 3 years ago
- Tensors in Haskell☆40Updated 3 weeks ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 7 years ago
- Toy typechecker for Insanely Dependent Types☆82Updated 2 months ago
- Convert Haskell source code to Coq source code.☆93Updated 6 months ago
- Haskell bindings to ArrayFire☆60Updated last year
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆73Updated 2 months ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- A monadic library for symbolic evaluation☆73Updated 5 months ago
- An equational theorem prover based on Knuth-Bendix completion☆57Updated last month
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- Reinforcement learning in haskell☆45Updated 4 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Higher-order optimization library☆76Updated 2 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Updated 9 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆63Updated 5 months ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- A talk☆28Updated 4 years ago
- Certified Machine Learning☆41Updated 4 years ago