LukeMondy

lithospheric_modelling_recipe

Lithospheric Modelling Recipe - a ready-to-go Underworld model of lithospheric extension

Continental_Rifting

A model of continental rifting in Underworld2 using the UWGeodynamics wrapper.

lmondy-et-al-3D-Rifting-Experiments

EarthByte_Underworld

A fork of Underworld 1.8, with all Python bindings removed. For legacy use with the LMR

global_LEC

bitbucket-branch-source-plugin

Bitbucket Branch Source Plugin

ci-actions

CI GitHub actions for the seL4 repositories

gLEC

html5validator-action

GitHub Action that checks html5 syntax.

icar

The Intermediate Complexity Atmospheric Research model (ICAR)

janeway

A journal management system designed for publishing scholarly articles.

l4v

seL4 specification and proofs

nomad_homelab

Nomad, Consul & Vault cluster in Proxmox

railgun

reprotest

Official mirror of https://anonscm.debian.org/git/reproducible/reprotest.git

seL4

The seL4 microkernel

sel4bench

sel4 benchmarking applications and support library.

test-repo

For testing

test_html_hosting

underworld2

underworld2: A parallel, particle-in-cell, finite element code for Geodynamics.

UWGeodynamics

Underworld Geodynamics

website

The seL4.systems website