dorchard

effect-monad

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

type-level-sets

Type-level sets for Haskell (with value-level counterparts and various operations)

navier

Navier-Stokes fluid simulation in various languages (C, Fortran, and Haskell using Repa)

betty-book-haskell-sessions

Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).

FirstPrelude

A replacement for Haskell's Prelude library (the standard library) designed for teaching beginners, developed at the University of Kent.

lambda-club

Material from presentations at the University of Kent's LambdaClub meetings

array-memoize

Memoize discrete functions (restricted to a finite domain) using arrays

lcore

lcore (Lambda Core) A minimal functional programming language based on the lambda calculus and various minimal extensions

erlang-caa-kit

Prototype tools for generating Communicating Actor Automata models from Erlang code, and vice versa,

predicting-cat-5-damage-to-buildings

quad-tree

Example of 2D collision checking using the "quad tree" data structure

splv23.github.io

ss23-git

Repository for the GitHub talk in ICCS Summer School '23.

templates

My templates

2024-03-18-manchester-intermediate-swc

NERC intermediate research software skills workshop for Earth sciences, 18-22 March 2024, Manchester

climate-informatics.github.io

Github page repository for the Climate Informatics community website

cw-srepls-24.github.io

dorchard.github.io

Website

friday

ga-ci

geograph

GeoGraph provides a tool for analysing habitat fragmentation and related problems in landscape ecology. GeoGraph builds a geospatially referenced graph from land cover or field survey data and enables graph-based landscape ecology analysis as well as interactive visualizations.

git-and-github-material

Training material on Git and GitHub

jekyll-theme-conference

Jekyll template for a conference website containing program, speaker, talks and room overview

Neural_nework_parameterization

Code used in:"Use of neural networks for stable, accurate and physically consistent parameterization of subgrid atmospheric processes with good performance at reduced precision"

sample-programs

Sample Programs in Every Programming Language

ss23-hf-code

Code repository for the Hugging Face talk in ICCS Summer School '23.

symmetric-matrix

Python library for compact symmetric matrices

thursday

test

tuesday

Project Tuesday

women-in-programming-languages-research

Women in Programming Languages and Software Engineering Research