https://github.com/cagix/plfa.github.io
An introduction to programming language theory in Agda
https://github.com/coloquinte/locked-tapeout
Logic locking of a design build on TinyTapeout
https://github.com/cfia-ncfad/delta-sars-cov-2-wtd-qc
Quebec white-tailed deer SARS-CoV-2 code, Jupyter Notebooks and analysis data and results
https://github.com/amsterdam-music-lab/gmth23-bayes-workshop
Code and data for the GMTH '23 workshop on Bayesian modelling
https://github.com/amsterdam-music-lab/mirovision
Repo for Mirovision Model and Data
https://github.com/amsterdamtimemachine/flagship
Flagship is a web app for exploration of geolocated heritage data
https://github.com/cfia-ncfad/miso-tool
Parse the samples and sequencing runs info from MISO Pinery JSON files and generate Nextflow samplesheets and other files
https://github.com/cagix/egg
egg is a flexible, high-performance e-graph library
https://github.com/cfia-ncfad/nf-flu
Influenza genome analysis Nextflow workflow
https://github.com/cfrioux/outreach
A repository dedicated to scientific outreach with resources for teaching metagenomics and metabolic modelling to young people and non profesional scientists.
https://github.com/cfn-softbio/shapesim
Shape simulator for Small Angle X-ray Scattering
mouse-choices-game
The narrative game in which the mouse tracker will be implemented.