google / mlir-hsLinks
Haskell bindings for MLIR
☆110Updated 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☆84Updated this week
- A toolkit for enforcing logical specifications on neural networks☆110Updated this week
- embedding MLIR in LEAN☆47Updated last year
- A monadic library for symbolic evaluation☆69Updated 2 months ago
- Accelerated machine learning with dependent types☆98Updated last month
- Horn Clause Constraint Solving for Liquid Types☆152Updated 2 weeks ago
- Convert Haskell source code to Coq source code.☆87Updated 2 months ago
- Encoding of GHC Core inside MLIR☆19Updated 4 years ago
- Fast equality saturation in Haskell☆87Updated 2 months ago
- A minimal development of SSA theory☆178Updated this week
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated 2 months ago
- being an operating system for typechecking processes☆128Updated 2 years ago
- Staged compilation with dependent types☆180Updated 4 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 3 years ago
- A compiler for functional programs on serialized data☆167Updated this week
- Agda category theory library for denotational design☆52Updated last month
- Demo for dependent types + runtime code generation☆71Updated 7 months ago
- a playground for working with fully static tensors and automatic differentiation☆16Updated 4 years ago
- A SAT solver written in Haskell.☆39Updated 6 years ago
- A formalization of ML kernel languages☆26Updated this week
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆210Updated 3 years ago
- Functional Programming in Lean☆110Updated last week
- LLVM backend for Accelerate☆166Updated 3 weeks ago
- An LLVM interface for Lean 4. (WIP)☆23Updated 2 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆150Updated last year
- High level commands to declare a hierarchy based on packed classes☆102Updated last week
- Benchmarking various normalization algorithms for the lambda calculus☆47Updated 3 years ago
- Benchmarks for capture-avoiding substitution☆119Updated 3 months ago
- Language Server for Agda☆115Updated last week
- Lecture notes on realizability☆74Updated 7 months ago