Explore projects

Query builder for Elasticsearch

Bergen snow simulator

Guest REGistration

An Agda development of set theory inside homotopy type theory.

RNA-seq pipeline using Salmon for transcript quantification implemented in the Azure cloud solution

FLIIMP - FARLAB liquid isotope measurements processor