MattWindsor91

roslyn

Experimental concepts for C# using Roslyn

travesty

Haskell-style container traversability and state monads for Core

Pascal-FC

Unofficial experimental fork of Pascal-FC, a Pascal implementation for learning concurrent programming.

starling-tool

An automatic verifier for concurrent algorithms.

arm-assembler-latex-listings

The [ARM] Assembler language definition for the latex listings package

Augh

Augh: U)ML to G)raphviz compiler for H)askell

c4f-hs

Experiments in porting c4f to Haskell

kankri

Very basic authentication library for Ruby

playd

Lightweight audio player daemon

aoc2019

Advent of Code 2019 attempts

aoc2021

advent of code 2021

BAPS2

This is BAPS

baps3-spec

Specification for BAPS3

ga-eclipse-deploy

GitHub action to deploy Eclipse plug-ins to the web.

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

lbj

CSP experiments in Rust

MattWindsor91.github.io

Personal landing page

memalloy

Memory consistency modelling using Alloy

normalize.css

A modern alternative to CSS resets

ocamlformat

Auto-formatter for OCaml code

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

phenolphthalein

Experimental concurrency test runner

robochart-metamodel

This repository contains the eclipse plugins that implement the metamodel of RoboChart.

sedlex

An OCaml lexer generator for Unicode

site

Raw Hugo source of mattwindsor91.github.io

starling-st3

Experimental Starling support for Sublime Text 3

starling2

(WIP) second version automated concurrency proof language and tools

ury-antora-ui

(experimental) Antora UI whatsit for URY documentation

website-source

yaps

Yet another playout system