paasim

ghc cross-compiler on x86_64 targeting aarch64

haskell stack for armv7

Rstudio with rstan

Python with some packages such as cmdstanpy preinstalled

Noun inflection with voikko

Limited debian9-based haskell runtime for arm32v7

agda-setup for working the plfa-book

A Debian image with agda and agda-stdlib

Idris

youtube-dl

Image with github.com/paasim/breaking-scr build for arm32v7. Based on paasim/hre

Image with github.com/paasim/citybike-scr build for arm32v7. Based on paasim/hre

Image with github.com/paasim/baana-scr build for arm32v7. Based on paasim/hre

Simple debian image with Ansible

finnish-tagtools

Voikkospell

gpu-tensorflow for jetson nano (arm64v8)

A haskell-timer