google / mlir-hsLinks
Haskell bindings for MLIR
☆109Updated 5 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 last week
- embedding MLIR in LEAN☆47Updated last year
- A toolkit for enforcing logical specifications on neural networks☆107Updated this week
- A monadic library for symbolic evaluation☆68Updated 3 weeks ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆148Updated last year
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 weeks ago
- Horn Clause Constraint Solving for Liquid Types☆150Updated 2 weeks ago
- being an operating system for typechecking processes☆128Updated 2 years ago
- Agda category theory library for denotational design☆51Updated last year
- A formalization of ML kernel languages☆22Updated this week
- Functional Programming in Lean☆101Updated this week
- LaTeX code for a paper on lean's type theory☆141Updated 3 years ago
- Demo for dependent types + runtime code generation☆69Updated 5 months ago
- a playground for working with fully static tensors and automatic differentiation☆16Updated 4 years ago
- Accelerated machine learning with dependent types☆97Updated this week
- A special-purpose processor for pure, non-strict functional languages☆28Updated 7 months ago
- Convert Haskell source code to Coq source code.☆86Updated last month
- Fast equality saturation in Haskell☆86Updated 3 weeks ago
- A minimal development of SSA theory☆154Updated this week
- Hoare Type Theory☆77Updated last month
- Code samples for Lean 4☆76Updated last year
- Encoding of GHC Core inside MLIR☆19Updated 4 years ago
- High level commands to declare a hierarchy based on packed classes☆100Updated last week
- A compiler for functional programs on serialized data☆166Updated last month
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆210Updated 3 years ago
- Staged compilation with dependent types☆178Updated 3 months ago
- Lean type-checker written in Scala.☆36Updated 3 years ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 3 years ago
- A prototypical dependently typed languages with sized types and variances☆111Updated 2 weeks ago