Explore projects

P

Artem Shinkarov / pact-slides

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
I

Thomas Koopman / Ipa 2024 Tutorial

0

Updated May 14, 2024

0 0 0 0

Updated May 14, 2024
F

sac-group / Fftn
GNU General Public License v3.0 or later

0

Updated Mar 19, 2026

0 0 0 0

Updated Mar 19, 2026
C

sac-group / Cuda Managed

0

Updated Apr 19, 2024

0 0 0 0

Updated Apr 19, 2024
C

Thomas Koopman / Cuda Managed

0

Updated Apr 25, 2024

0 0 0 0

Updated Apr 25, 2024
C

Artem Shinkarov / compiler

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
C

Artem Shinkarov / cnn

0

Updated Sep 23, 2020

0 1 0 0

Updated Sep 23, 2020
B

sac-group / Build SaC Packages

1

Updated May 13, 2025

1 0

Updated May 13, 2025
B

Thomas Koopman / Blocked Matmul

0

Updated Apr 26, 2023

0 0 0 0

Updated Apr 26, 2023
B

Hans-Nikolai Viessmann / benchmark-profiles

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
A

Artem Shinkarov / artem-blog

0

Updated May 05, 2023

0 0 0 0

Updated May 05, 2023
2

sac-group / 2024-syntax

My experiments with defining syntax for deeply-embedded DSLs.

0

Updated Jan 09, 2025

0 0 0 0

Updated Jan 09, 2025
2

sac-group / 2024-scan-paper

JFP pearl about rank-polymorphic scan and array theory

0

Updated Apr 11, 2026

0 0 0 0

Updated Apr 11, 2026
2

sac-group / 2024-multigpu-ifl

IFL paper on multi-GPU code generation for out-of-core problems

0

Updated Nov 24, 2025

0 0 0 0

Updated Nov 24, 2025
2

sac-group / 2024-multigpu-artefact

IFL paper on multi-GPU code generation for out-of-core problems

0

Updated Nov 24, 2025

0 0 0 0

Updated Nov 24, 2025
2

sac-group / 2023-fhpnc

Paper on blocked matmul for ARRAY'23

0

Updated Sep 04, 2023

0 0 0 0

Updated Sep 04, 2023
2

Artem Shinkarov / 2021-talk-extraction

My talk about extraction in Agda

0

Updated Jan 15, 2021

0 0 0 0

Updated Jan 15, 2021