A minimal in MLIR dialect along the lines of STG to represent laziness.
☆17Jan 7, 2022Updated 4 years ago
Alternatives and similar repositories for lz
Users that are interested in lz are comparing it to the libraries listed below
Sorting:
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 2 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆15Sep 2, 2024Updated last year
- ☆18Apr 8, 2022Updated 3 years ago
- Exploring CXL on QEMU Emulation☆36Mar 4, 2025Updated last year
- ☆14May 28, 2019Updated 6 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- wasm bindings for huggingface tokenizers library☆34Jun 30, 2022Updated 3 years ago
- SVG Combinators for Haskell☆23Jun 28, 2017Updated 8 years ago
- Wrapper for ETH Ariane Core☆22Sep 2, 2025Updated 6 months ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Sep 4, 2025Updated 6 months ago
- MLIRX is now defunct. Please see PolyBlocks - https://docs.polymagelabs.com☆38Dec 1, 2023Updated 2 years ago
- A minimal language inspired by Lisp and Haskell☆20Jul 5, 2020Updated 5 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- A translation validation framework for MLIR☆94Mar 19, 2025Updated 11 months ago
- Implements kernels with RISC-V Vector☆22Mar 24, 2023Updated 2 years ago
- ☆22Nov 7, 2023Updated 2 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆23Feb 27, 2026Updated last week
- Proxy LLVM calls into Rust own shared library in runtime☆34Mar 21, 2024Updated last year
- Haskell bindings for MLIR☆122Feb 24, 2026Updated last week
- 3D-Rubik's cube simulator written in Haskell using Gloss☆29Oct 18, 2020Updated 5 years ago
- ☆35Dec 12, 2021Updated 4 years ago
- MLIR metal dialect☆36Sep 18, 2024Updated last year
- The translator that supports translating NVPTX to SPIR-V. This translator is modified from LLVM-SPIR-V Translator.☆44Oct 25, 2021Updated 4 years ago
- RFC 4648-compliant Base64☆38Aug 28, 2024Updated last year
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- Wrappers for open source FPU hardware implementations.☆37Nov 27, 2025Updated 3 months ago
- Kansas Lava☆50Oct 6, 2019Updated 6 years ago
- ☆36Jan 21, 2021Updated 5 years ago
- Link libstdc++ or libc++ automatically or manually☆53Dec 20, 2025Updated 2 months ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆33Jul 20, 2021Updated 4 years ago
- Kinematic and dynamic models of continuum and articulated soft robots.☆15Nov 22, 2025Updated 3 months ago
- ETHZ Heterogeneous Accelerated Compute Cluster.☆38Oct 7, 2025Updated 4 months ago
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated 11 months ago
- FPGA acceleration of arbitrary precision floating point computations.☆40May 17, 2022Updated 3 years ago
- ☆42Feb 3, 2026Updated last month
- Package manager for Idris☆37Jul 21, 2022Updated 3 years ago
- ☆12Feb 15, 2024Updated 2 years ago
- ☆11Aug 23, 2023Updated 2 years ago