๐ง A work-in-progress GLSL compiler targeting SPIR-V mlir ๐ง
โ22Oct 18, 2024Updated last year
Alternatives and similar repositories for shaderpulse
Users that are interested in shaderpulse are comparing it to the libraries listed below
Sorting:
- A enumerator for MLIR, relying on the information given by IRDL.โ23Updated this week
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at onceโ13Mar 27, 2025Updated 11 months ago
- MLIR metal dialectโ36Sep 18, 2024Updated last year
- A Python interface for the Dawn WebGPU engineโ17Jan 10, 2026Updated last month
- ๐๐๐ The former home of clangir incubator, now part of the official llvm-project.โ589Feb 21, 2026Updated last week
- โ89Updated this week
- A tiny lazy objective functional languageโ19Sep 12, 2024Updated last year
- Intelยฎ Extension for MLIR. A staging ground for MLIR dialects and tools for Intel devices using the MLIR toolchain.โ148Updated this week
- EeZee Language - Compiler Engineering Basicsโ36Feb 23, 2026Updated last week
- POC work on MLIR backendโ61Aug 21, 2024Updated last year
- An out-of-tree MLIR dialect template.โ114Sep 6, 2024Updated last year
- User-Mode Driver for Tenstorrent hardwareโ37Updated this week
- Bridging polyhedral analysis tools to the MLIR frameworkโ119Sep 9, 2023Updated 2 years ago
- C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!โ605Jun 19, 2025Updated 8 months ago
- TPP experimentation on MLIR for linear algebraโ146Feb 24, 2026Updated last week
- A design automation framework to engineer decision diagrams yourselfโ26Feb 25, 2026Updated last week
- jtcpp was an experimental JVM bytecode to C++ transpiler(abandoned).โ33Jul 20, 2023Updated 2 years ago
- The version of Pharo by Example for Pharo 90โ34Aug 23, 2024Updated last year
- โ169Updated this week
- A copy of the latest version of MVSISโ12Apr 18, 2021Updated 4 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classicโ11Jul 15, 2024Updated last year
- Artifact for 'Register Optimizations for Stencils on GPUs'โ10Sep 18, 2018Updated 7 years ago
- ไธๅฎๆๆดๆฐ็ฌๅๅๅฝ็ฝ็ซ็็ฌ่ซๆบ็ โ10Aug 15, 2018Updated 7 years ago
- โ12Dec 16, 2024Updated last year
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.โ13Aug 31, 2018Updated 7 years ago
- Scripts for Digital Design flow control.โ16Oct 30, 2025Updated 4 months ago
- ELVE : ELVE Logic Visualization Engineโ11Jul 2, 2017Updated 8 years ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.โ10Dec 13, 2020Updated 5 years ago
- โ10Feb 9, 2024Updated 2 years ago
- MLIRX is now defunct. Please see PolyBlocks - https://docs.polymagelabs.comโ38Dec 1, 2023Updated 2 years ago
- embedding MLIR in LEANโ48Jun 17, 2024Updated last year
- Collection of executable benchmarksโ44Dec 1, 2023Updated 2 years ago
- ๐ Cherry programming language ๐โ14Sep 18, 2024Updated last year
- Equivalent and redundant mutant detection with e-graphs!!!โ13Jun 14, 2023Updated 2 years ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.โ10Jul 13, 2025Updated 7 months ago
- IITM Paradigms of Programming -- Monsoon 2025โ18Nov 17, 2025Updated 3 months ago
- ๅฐ flomo ็็ฌ่ฎฐๅฏผๅ ฅ Heptabaseโ12Aug 3, 2022Updated 3 years ago
- Type inference implementation in OCaml using Algorithm Wโ10Aug 26, 2021Updated 4 years ago
- An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level frameworkโฆโ16Feb 12, 2026Updated 3 weeks ago