sergei-mironov / htvm
Haskell experiments involving TVM AI framework
☆21Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for htvm
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 6 years ago
- a playground for working with fully static tensors and automatic differentiation☆17Updated 3 years ago
- Differentiation in logical form by Stone duality.☆8Updated 7 years ago
- Two-Level Type Theory☆27Updated 4 years ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 5 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆19Updated last year
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- An enhanced unification algorithm for Coq☆49Updated this week
- Formalizations of Gradually Typed Languages in Agda☆54Updated last month
- Lean4 backend using `libgccjit`!☆11Updated last year
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- VSCode extension for the Arend language☆11Updated last year
- a Haskell implementation of Deep Learning frameworks.☆12Updated 8 years ago
- mirror of A simple type-theoretic language: Mini-TT☆38Updated 7 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- Encoding of GHC Core inside MLIR☆18Updated 4 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Updated 7 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆10Updated 6 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Updated 8 months ago
- Higher-order optimization library☆73Updated last year
- A talk☆28Updated 3 years ago
- Implementations of various toy programming languages☆12Updated 6 years ago
- Public course materials for CSE 230 (Winter 2019)☆27Updated 3 years ago
- Ask for solutions.☆19Updated 5 years ago