mattwindsor91 Goto Github PK

roslyn-concepts-issues

Issue-tracking repository for captainhayashi/roslyn

russet

Rust string tokeniser

rust

a safe, concurrent, practical language

sedlex

An OCaml lexer generator for Unicode

settings-view

Edit Atom settings

site

Raw Hugo source of mattwindsor91.github.io

sox

Unofficial fork of http://sourceforge.net/p/sox/

starling

Theory and tooling for automated concurrent verification

starling-st3

Experimental Starling support for Sublime Text 3

starling-tool

An automatic verifier for concurrent algorithms.

starling2

(WIP) second version automated concurrency proof language and tools

statustran

Rudimentary Hurd/trivfs translator for StatusNet, based on example code.

stonehouse

Code generator for Rapier objects, written in Haskell

talks

Slides for talks

tp2048

2048 clone in Turbo Pascal

trackd

Track resolver for URY's BAPS3 system

travesty

Haskell-style container traversability and state monads for Core

uoysocslib

PHP library designed to deal with functionality that is common to webmasters across the University of York's societies.

ury-antora-ui

(experimental) Antora UI whatsit for URY documentation

ury-listd

Playlist handler for playd. Part of the new BAPS3 stack

ury-player-for-java

A streaming program for listening to University Radio York

visualfsharp

The Visual F# compiler and tools

website-source

yaps

Yet another playout system

york-timetable-parser

University of York timetable parser