researchfish-investigation-across-councils • Science 18%

ResearchFish data on Software Outputs. Contact: @marioa

https://github.com/agda/agda-spec • Science 26%

Specification of Agda.

bionet • Science 18%

Github repository for BioNet package from bioconductor to add to shinyapps.io

eqtl_bma • Science 18%

modcell2 • Science 31%

Modular cell strain design algorithms

mpqc • Science 41%

The Massively Parallel Quantum Chemistry program, MPQC, computes properties of atoms and molecules from first principles using the time independent Schrödinger equation.

nextbigthing • Science 31%

nf-core test

https://github.com/agda/guarded • Science 26%

diffmicro • Science 31%

Implementation of the Differential Dynamic Microscopy algorithm

projetspersonnelsetanciensportfolios • Science 18%

https://github.com/agda/ooagda • Science 39%

Interactive and object-oriented programming in Agda using coinductive types

pidc-nn_minernet-pro • Science 31%

Deep Learning Algorithm for Computer Vision with a New Technique and Concept: PIDC-NN for Binary Classification Tasks in a Coal Preparation Plant (MinerNet)

fabber_models_qbold • Science 18%

Fabber models for Quantitative BOLD MRI

cubature • Science 18%

multi-dimensional adaptive integration (cubature) in C

https://github.com/agda/organization • Science 26%

The Agda organization itself

2017-08-17-antarctica • Science 18%

gn1 • Science 18%

colony • Science 18%

A 2D Game Engine Prototype

soton_software_survey_analysis_2019 • Science 31%

Analysis of the software survey conducted at the University of Southampton in June 2019

semantic-segmentation-satellite-imagery • Science 18%

Semantic-segmentation-with-PyTorch-Satellite-Imagery