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 9 months ago
- A naive θ..θ programming language☆27Updated 7 years ago
- A SAT solver written in Haskell.☆39Updated 7 years ago
- LLVM backend for Accelerate☆167Updated this week
- half-precision floating-point☆17Updated last month
- A monadic library for symbolic evaluation☆73Updated 4 months ago
- Towards changing things and see if it proofs☆60Updated 4 years ago
- Convert Haskell source code to Coq source code.☆92Updated 5 months ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 3 years ago
- Haskell FFI bindings to CUDA☆80Updated 2 months ago
- Cartesian Cubical Type Theory☆71Updated 4 years ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Updated 5 years ago
- Constructive Interpretations of HoTT☆36Updated 5 years ago
- A talk☆28Updated 4 years ago
- Reference type checker for the Lean theorem prover☆64Updated 8 years ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 9 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Updated 5 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated 4 months ago
- mirror of A simple type-theoretic language: Mini-TT☆41Updated 8 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Higher-order optimization library☆76Updated 2 years ago
- Toy typechecker for Insanely Dependent Types☆82Updated last month
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆73Updated last month
- Tensors in Haskell☆40Updated last week
- A quick reference for mapping Coq tactics to Lean tactics☆71Updated 4 years ago
- Formalizations of Gradually Typed Languages in Agda☆58Updated last week