Explore projects
-
Carina Schmitt / academicpages
MIT LicenseGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Updated -
Updated
-
Dan Frumin / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Jonas Kastberg / actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
tlsomers / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Iris / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
SimBricks / app-client
MIT LicenseUpdated -
Updated
-
os-ws15 / assignment
OtherUpdated -
Updated
-
Felix Stutz / async-mpst-gen-choice
MIT LicenseThis repo contains our prototype implementing the generalised projection of global types from our MST framework with generalised choice.
Maintainer: Felix Stutz
Updated -
Updated
-
Publicly released Azure Functions traces from https://github.com/Azure/AzurePublicDataset/blob/master/AzureFunctionsDataset2019.md
Updated -
Ayan Majumdar / Bias in VAE
MIT LicenseGenerative Models are being developed currently which can potentially be used for various applications such as data generation for training models. This project aims to analyse a generative model, the Variational Autoencoder and potential bias in it.
Updated -
Iris / bitvector
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-