google / mlir-hsLinks
Haskell bindings for MLIR
☆109Updated 6 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 3 weeks ago
- embedding MLIR in LEAN☆47Updated last year
- A toolkit for enforcing logical specifications on neural networks☆110Updated this week
- A minimal development of SSA theory☆164Updated this week
- Accelerated machine learning with dependent types☆98Updated 3 weeks ago
- A monadic library for symbolic evaluation☆68Updated last month
- Convert Haskell source code to Coq source code.☆86Updated 2 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated last month
- a playground for working with fully static tensors and automatic differentiation☆16Updated 4 years ago
- A formalization of ML kernel languages☆24Updated this week
- Encoding of GHC Core inside MLIR☆19Updated 4 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆148Updated last year
- Horn Clause Constraint Solving for Liquid Types☆151Updated 2 weeks ago
- A special-purpose processor for pure, non-strict functional languages☆29Updated 7 months ago
- Fast equality saturation in Haskell☆86Updated last month
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- Code samples for Lean 4☆77Updated last year
- Functional Programming in Lean☆103Updated 3 weeks ago
- Demo for dependent types + runtime code generation☆70Updated 6 months ago
- LaTeX code for a paper on lean's type theory☆144Updated 3 years ago
- being an operating system for typechecking processes☆128Updated 2 years ago
- Agda category theory library for denotational design☆52Updated 2 weeks ago
- A verified polyhedral scheduling validator in Coq.☆22Updated 11 months ago
- Galois RISC-V ISA Formal Tools☆61Updated 3 weeks ago
- Haskell experiments involving TVM AI framework☆20Updated 6 years ago
- High level commands to declare a hierarchy based on packed classes☆100Updated 2 weeks ago
- Lecture notes on realizability☆74Updated 6 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆74Updated last month
- Staged compilation with dependent types☆179Updated 3 months ago
- Parser Combinator Library for Lean 4☆56Updated 2 weeks ago