Exceeds
Back to ed.ac.uk report

Shared Repositories

15 unique repositories • 20 contributors

DylanCavers

Hyp-ed/hyped-2025

dhschall

gem5/gem5

hayden-MB

maths/moodle-qtype_stack

Unknown contributor

maths/moodle-qtype_stack

leanprover-community/mathlib4

kshxtij

Hyp-ed/hyped-2025

loisbaker

CliMA/Oceananigans.jl

maltenmuller

No repositories listed

bacam

riscv/sail-riscv

coq/opam

+2 more repositories

sangwinc

maths/moodle-qtype_stack

jrmaddison

firedrakeproject/firedrake

EJMFarrow

maths/moodle-qtype_stack

KZerva

maths/moodle-qtype_stack

sangwinc

maths/moodle-qtype_stack

Unknown contributor

EPCCed/eidf-docs

gabrielrodcanal

xdslproject/xdsl

baymaks

xdslproject/xdsl

slindley

WebAssembly/meetings

KarthikL1729

vhive-serverless/invitro

jianyicheng

No repositories listed

aybukeatalay

compsocialscience/summer-institute