google / mlir-hsLinks
Haskell bindings for MLIR
☆112Updated 7 months ago
Alternatives and similar repositories for mlir-hs
Users that are interested in mlir-hs are comparing it to the libraries listed below
Sorting:
- The Shine compiler for the RISE language☆83Updated this week
- A toolkit for enforcing logical specifications on neural networks☆114Updated this week
- embedding MLIR in LEAN☆48Updated last year
- a playground for working with fully static tensors and automatic differentiation☆16Updated 4 years ago
- Accelerated machine learning with dependent types☆100Updated 2 months ago
- A minimal development of SSA theory☆184Updated this week
- A formalization of ML kernel languages☆28Updated this week
- A monadic library for symbolic evaluation☆69Updated 2 months ago
- A special-purpose processor for pure, non-strict functional languages☆30Updated 9 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated 2 months ago
- LaTeX code for a paper on lean's type theory☆147Updated 3 years ago
- Haskell experiments involving TVM AI framework☆20Updated 6 years ago
- Neural networks using parametric prelenses and Trimbara modules☆34Updated last year
- Horn Clause Constraint Solving for Liquid Types☆152Updated last month
- Fast equality saturation in Haskell☆88Updated 3 months ago
- Convert Haskell source code to Coq source code.☆88Updated 3 months ago
- being an operating system for typechecking processes☆130Updated last week
- Demo for dependent types + runtime code generation☆71Updated 7 months ago
- Agda category theory library for denotational design☆53Updated 2 months ago
- Lecture notes on realizability☆74Updated 7 months ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆100Updated last year
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- A compiler for functional programs on serialized data☆172Updated this week
- An LLVM interface for Lean 4. (WIP)☆24Updated 2 years ago
- Functional Programming in Lean☆112Updated last month
- LLVM backend for Accelerate☆166Updated last month
- Code samples for Lean 4☆77Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆150Updated 3 weeks ago