google / mlir-hs
Haskell bindings for MLIR
☆97Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for mlir-hs
- embedding MLIR in LEAN☆47Updated 4 months ago
- The Shine compiler for the RISE language☆73Updated this week
- A minimal development of SSA theory☆88Updated this week
- A monadic library for symbolic evaluation☆54Updated this week
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated last year
- Fast equality saturation in Haskell☆76Updated 6 months ago
- A special-purpose processor for pure, non-strict functional languages☆20Updated 3 months ago
- Horn Clause Constraint Solving for Liquid Types☆141Updated this week
- A toolkit for enforcing logical specifications on neural networks☆80Updated this week
- Convert Haskell source code to Coq source code.☆78Updated 2 months ago
- a playground for working with fully static tensors and automatic differentiation☆17Updated 3 years ago
- Neural networks using parametric prelenses and Trimbara modules☆31Updated 7 months ago
- ☆17Updated this week
- A formal semantics of the RISC-V ISA in Haskell☆156Updated last year
- A compiler for functional programs on serialized data☆157Updated last week
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 2 years ago
- Galois RISC-V ISA Formal Tools☆56Updated 9 months ago
- Efficient Haskell effect handlers based on evidence translation.☆81Updated 3 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆144Updated 8 months ago
- Competitive programming utilities in Haskell☆26Updated 2 weeks ago
- A verified polyhedral scheduling validator in Coq.☆19Updated last month
- A Language with Dependent Data and Codata Types☆53Updated this week
- Example language server (LSP) implementation for a toy language☆60Updated 3 years ago
- high-performance cubical evaluation☆68Updated 3 months ago
- Lecture notes on realizability☆65Updated last month
- Functional Programming in Lean☆71Updated 6 months ago
- Staged compilation with dependent types☆161Updated this week
- LLVM backend for Accelerate☆158Updated last month