google / mlir-hsLinks
Haskell bindings for MLIR
☆117Updated last week
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 last week
- A toolkit for enforcing logical specifications on neural networks☆118Updated this week
- embedding MLIR in LEAN☆48Updated last year
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated 5 months ago
- A monadic library for symbolic evaluation☆73Updated 5 months ago
- Convert Haskell source code to Coq source code.☆93Updated 5 months ago
- Accelerated machine learning with dependent types☆101Updated 4 months ago
- Horn Clause Constraint Solving for Liquid Types☆155Updated last week
- Neural networks using parametric prelenses and Trimbara modules☆35Updated last year
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- Fast equality saturation in Haskell☆92Updated this week
- A formalization of ML kernel languages☆32Updated this week
- LLVM backend for Accelerate☆167Updated this week
- A compiler for functional programs on serialized data☆173Updated this week
- Staged compilation with dependent types☆186Updated 7 months ago
- LaTeX code for a paper on lean's type theory☆152Updated 3 years ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆101Updated 2 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 4 years ago
- being an operating system for typechecking processes☆130Updated 2 months ago
- A minimal development of SSA theory☆202Updated this week
- A special-purpose processor for pure, non-strict functional languages☆30Updated 11 months ago
- Agda category theory library for denotational design☆54Updated last month
- Agda lecture notes for the Functional Programming course at TU Delft☆131Updated 5 months ago
- Parser Combinator Library for Lean 4☆66Updated this week
- a playground for working with fully static tensors and automatic differentiation☆16Updated 4 years ago
- GHC Whole Program Compiler and External STG IR tooling☆120Updated last month
- Language Server for Agda☆121Updated last month
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆84Updated 9 years ago
- Building group theory from scratch in Lean☆61Updated 4 years ago
- Efficient Haskell effect handlers based on evidence translation.☆85Updated 4 years ago