Skip to content
View MattWindsor91's full-sized avatar
87 followers · 84 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx3

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx3

Organizations

@UniversityRadioYork

Block or report MattWindsor91

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • aoc2024 Public

    oh shi', here we go again

    Go Do What The F*ck You Want To Public License Updated Dec 3, 2024

  • Augh Public

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

    Haskell 1 MIT License Updated Dec 2, 2023

  • opam-repository Public

    Forked from ocaml/opam-repository

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

    Shell Creative Commons Zero v1.0 Universal Updated Oct 29, 2023

  • travesty Public

    Haskell-style container traversability and state monads for Core

    OCaml 10 1 MIT License Updated Oct 29, 2023

  • yaps Public

    Yet another playout system

    Go 1 MIT License 3 issues need help Updated Jul 26, 2023

  • lbj Public

    CSP experiments in Rust

    Rust MIT License Updated Jul 26, 2023

  • playd Public

    Forked from UniversityRadioYork/ury-playd

    Lightweight audio player daemon

    C++ MIT License Updated Jun 26, 2023

  • starling2 Public

    (WIP) second version automated concurrency proof language and tools

    Rust 2 MIT License Updated May 6, 2023

  • starling-tool Public

    Forked from septract/starling-tool

    An automatic verifier for concurrent algorithms.

    F# 2 1 MIT License Updated Feb 2, 2023

  • normalize.css Public

    Forked from necolas/normalize.css

    A modern alternative to CSS resets

    CSS MIT License Updated Dec 28, 2022

  • MattWindsor91.github.io Public

    Personal landing page

    HTML MIT License Updated Aug 11, 2022

  • ga-eclipse-deploy Public

    Forked from UoY-RoboStar/ga-eclipse-deploy

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

    Shell Updated Jul 27, 2022

  • robochart-metamodel Public

    Forked from UoY-RoboStar/robochart-metamodel

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

    Java Other Updated Apr 12, 2022

  • Pascal-FC Public

    Forked from lexbailey/Pascal-FC

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

    Pascal 3 GNU General Public License v2.0 Updated Jan 8, 2022

  • aoc2021 Public

    advent of code 2021

    C# Do What The F*ck You Want To Public License Updated Dec 2, 2021

  • phenolphthalein Public

    Experimental concurrency test runner

    Rust MIT License Updated Nov 3, 2021

  • roslyn Public

    Forked from dotnet/roslyn

    Experimental concepts for C# using Roslyn

    C# 80 6 Apache License 2.0 Updated Jul 8, 2021

  • memalloy Public

    Forked from johnwickerson/memalloy

    Memory consistency modelling using Alloy

    OCaml MIT License Updated Dec 16, 2020

  • c4f-hs Public

    Experiments in porting c4f to Haskell

    Haskell 1 MIT License Updated Dec 15, 2020

  • ury-antora-ui Public archive

    (experimental) Antora UI whatsit for URY documentation

    CSS Mozilla Public License 2.0 Updated Nov 25, 2020

  • herdtools7 Public

    Forked from herd/herdtools7

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

    OCaml Other Updated Nov 4, 2020

  • ocamlformat Public

    Forked from ocaml-ppx/ocamlformat

    Auto-formatter for OCaml code

    OCaml MIT License Updated Jul 1, 2020

  • arm-assembler-latex-listings Public

    Forked from frosc/arm-assembler-latex-listings

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

    TeX 1 Apache License 2.0 Updated Apr 9, 2020

  • site Public

    Raw Hugo source of mattwindsor91.github.io

    Shell MIT License Updated Feb 23, 2020

  • baps3-spec Public

    Specification for BAPS3

    Makefile Creative Commons Zero v1.0 Universal Updated Feb 2, 2020

  • BAPS2 Public

    Forked from UniversityRadioYork/BAPS2

    This is BAPS

    C BSD 3-Clause "New" or "Revised" License Updated Jan 12, 2020

  • kankri Public archive

    Very basic authentication library for Ruby

    Ruby 1 MIT License Updated Dec 10, 2019

  • aoc2019 Public

    Advent of Code 2019 attempts

    C# Do What The F*ck You Want To Public License Updated Dec 7, 2019

  • website-source Public

    Forked from ocaml-sf/website-source
    HTML Updated Oct 7, 2019

  • starling-st3 Public

    Experimental Starling support for Sublime Text 3

    MIT License Updated Sep 17, 2019