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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Representation and Incremental Processing of RDF Data☆10Nov 28, 2024Updated last year
- ☆23May 10, 2025Updated last year
- OCaml Bindings to MLIR☆16Dec 11, 2020Updated 5 years ago
- Split integers into digits, blazingly fast☆14Sep 27, 2026Updated last month
- A stream to RTL compiler based on MLIR and CIRCT☆17Nov 15, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- OpenMP offload playground☆10Nov 16, 2024Updated last year
- A demonstration connecting Fortran (and C) code to Haskell, and to HMatrix.☆13Mar 6, 2022Updated 4 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- A template for idris projects☆11Jun 27, 2021Updated 5 years ago
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- Features of the Future☆11Apr 6, 2021Updated 5 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- Conversions to MLIR EmitC☆134Dec 12, 2024Updated last year
- a simple end to end example of taking a ML graph (TF2 / PyTorch) and running it on a device [cpu, gpu]☆37Jan 20, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Research on code injection & reflection in c++☆11Nov 5, 2017Updated 8 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆20Sep 28, 2026Updated last month
- ☆22Jan 2, 2026Updated 10 months ago
- Svg based heatmaps in Elm☆15May 10, 2017Updated 9 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆26Oct 8, 2026Updated 3 weeks ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- Linux kernel source tree of developing SMDK kernel for CXL Memory☆10Oct 26, 2023Updated 3 years ago
- Elegant, emoji-based loading spinners to make your Haskell CLI applications more beautiful.☆21Jun 22, 2019Updated 7 years ago
- My proposals for the C++ standard☆13Jul 15, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Rough REST client/server prototypes for SESE's Order Manager.☆12May 29, 2017Updated 9 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated 2 years ago
- An experimental hardware compiler☆14Aug 21, 2026Updated 2 months ago
- rodinia benchmark modified to run with ENZO and pathcu instead of nvcc CUDA compiler☆12Jan 23, 2024Updated 2 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- ☆14Aug 1, 2022Updated 4 years ago
- LLVM Dialects Library☆24Oct 26, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆15Sep 2, 2024Updated 2 years ago
- WebAssembly eXtended Text Format☆13Sep 20, 2022Updated 4 years ago
- Add structure to ArrayBuffer☆11Oct 14, 2026Updated 2 weeks ago
- ☆17Nov 11, 2021Updated 4 years ago
- Neovim plugin to help with markdown tables☆12May 29, 2022Updated 4 years ago
- A translation validation framework for MLIR☆104Mar 19, 2025Updated last year
- A header-only multiplatform entry point for Apps written in C++☆18Jan 15, 2018Updated 8 years ago