dorchard Goto Github PK

2024-03-18-manchester-intermediate-swc

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

anarchy-workshop

array-memoize

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

best-science-model

betty-book-haskell-sessions

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

camfort

Light-weight verification and transformation tools for Fortran

cliffs-src

Source code for a numerical model to simulate tsunami propagation and run-up on land

climate-informatics.github.io

Github page repository for the Climate Informatics community website

co519-logic

Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.

co545-2021-assessment2

The brief for CO545 Assessment 2

co580-demo

Example of using Git/Github

co580-demo-2020

Demonstrating Git and GitHub

co661-notes

Notes to accompany the lectures of CO661 - Theory and Practice of Concurrency at the University of Kent

codo-notation

Codo notation for programming with comonads in Haskell

coeffects-experiments

Experimenting with coeffect and comonadic semantics embedded in Haskell

comonad

Haskell 98 comonads

comonad-extras

Comonad transformers that require Haskell extensions

computational-semantics

Fork of the code examples from "Computational Semantics with Functional Programming" (Eijck, Unger) http://www.computational-semantics.eu/

constrained-normal

Fork of Neil Sculthorpe's constrained-normal package (http://hackage.haskell.org/package/constrained-normal)

constrainttermextensions

Prototype implementation of type constraint-term extensions for GHC, accompanying the "Haskell Type Constraints Unleahsed" paper

containers

cw-srepls-24.github.io

dataflow-effects-as-grades

Classical data-flow analysis (specialised to live-variables) modelled as a graded monads

datapar

Library implementation of the Cambridge Data Parallel Model

dorchard.github.io

Website

effect-handlers

effect-monad

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

effectful-explanations-talk

"Programs that explain their effects" talk material

effects-as-sessions

Formalised embedding of an imperative language with effect system into session-typed pi calculus.

erlang-caa-kit

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