Pinned Repositories
c4f
The C4 Concurrent C Fuzzer
c4t
Runs concurrent C compiler tests
playd
Lightweight audio player daemon
roslyn
Experimental concepts for C# using Roslyn
roslyn-concepts-issues
Issue-tracking repository for captainhayashi/roslyn
starling-tool
An automatic verifier for concurrent algorithms.
tp2048
2048 clone in Turbo Pascal
travesty
Haskell-style container traversability and state monads for Core
visualfsharp
The Visual F# compiler and tools
rtcg
Test code generator for forbidden-trace tests
MattWindsor91's Repositories
MattWindsor91/roslyn
Experimental concepts for C# using Roslyn
MattWindsor91/travesty
Haskell-style container traversability and state monads for Core
MattWindsor91/Pascal-FC
Unofficial experimental fork of Pascal-FC, a Pascal implementation for learning concurrent programming.
MattWindsor91/starling-tool
An automatic verifier for concurrent algorithms.
MattWindsor91/arm-assembler-latex-listings
The [ARM] Assembler language definition for the latex listings package
MattWindsor91/Augh
Augh: U)ML to G)raphviz compiler for H)askell
MattWindsor91/c4f-hs
Experiments in porting c4f to Haskell
MattWindsor91/kankri
Very basic authentication library for Ruby
MattWindsor91/playd
Lightweight audio player daemon
MattWindsor91/aoc2019
Advent of Code 2019 attempts
MattWindsor91/aoc2021
advent of code 2021
MattWindsor91/BAPS2
This is BAPS
MattWindsor91/baps3-spec
Specification for BAPS3
MattWindsor91/ga-eclipse-deploy
GitHub action to deploy Eclipse plug-ins to the web.
MattWindsor91/herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
MattWindsor91/lbj
CSP experiments in Rust
MattWindsor91/MattWindsor91.github.io
Personal landing page
MattWindsor91/memalloy
Memory consistency modelling using Alloy
MattWindsor91/normalize.css
A modern alternative to CSS resets
MattWindsor91/ocamlformat
Auto-formatter for OCaml code
MattWindsor91/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
MattWindsor91/phenolphthalein
Experimental concurrency test runner
MattWindsor91/robochart-metamodel
This repository contains the eclipse plugins that implement the metamodel of RoboChart.
MattWindsor91/sedlex
An OCaml lexer generator for Unicode
MattWindsor91/site
Raw Hugo source of mattwindsor91.github.io
MattWindsor91/starling-st3
Experimental Starling support for Sublime Text 3
MattWindsor91/starling2
(WIP) second version automated concurrency proof language and tools
MattWindsor91/ury-antora-ui
(experimental) Antora UI whatsit for URY documentation
MattWindsor91/website-source
MattWindsor91/yaps
Yet another playout system