google / mlir-hsLinks
Haskell bindings for MLIR
☆107Updated 3 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☆82Updated last week
- embedding MLIR in LEAN☆47Updated 11 months ago
- A minimal development of SSA theory☆140Updated this week
- Accelerated machine learning with dependent types☆95Updated 3 weeks ago
- being an operating system for typechecking processes☆126Updated 2 years ago
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- A monadic library for symbolic evaluation☆66Updated last week
- Horn Clause Constraint Solving for Liquid Types☆146Updated last week
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 3 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- A toolkit for enforcing logical specifications on neural networks☆96Updated this week
- A special-purpose processor for pure, non-strict functional languages☆28Updated 4 months ago
- a playground for working with fully static tensors and automatic differentiation☆17Updated 4 years ago
- A compiler for functional programs on serialized data☆164Updated this week
- Hoare Type Theory☆75Updated 3 weeks ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆209Updated 3 years ago
- high-performance cubical evaluation☆72Updated last month
- A deterministic parser with fused lexing☆73Updated last year
- LaTeX code for a paper on lean's type theory☆134Updated 2 years ago
- 😎TT☆227Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Functional Programming in Lean☆81Updated last week
- A verified tensor library in Lean☆24Updated this week
- Efficient effect handlers based on Evidence Passing Semantics.☆30Updated 4 years ago
- High level commands to declare a hierarchy based on packed classes☆99Updated this week
- Neural networks using parametric prelenses and Trimbara modules☆33Updated last year
- Convert Haskell source code to Coq source code.☆85Updated 9 months ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated 3 months ago
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- Language Server for Agda☆112Updated 5 months ago