Query builder for Elasticsearch
Bergen snow simulator
An Agda development of set theory inside homotopy type theory.
Magnolia is a research programming language based on the theory of institutions.
This compiler provides a Magnolia frontend to the LFortran ASR.
Species distribution models for ArtsApp. Based on https://github.com/joechip90/ArtsApp/ by Joseph Chipperfield.
HEDTOOLS: Fortran Modelling Toolbox