Matt Luckcuck's Projects
Website for the Autonomy and Verification Network.
A Simple Twitter Bot that Tweets James Bond Quotes
A helper for CSP
Small python tool to convert CSV files to tex, compatiable with LaTeX's glossary pacakge
A framework for the elicitation, specification, formalization and understanding of requirements.
FRETISH templates for Dynamic Logic Contracts
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
Personal Website of Matt Luckcuck
A Simple Python script that scrapes a given IMDB 'Quotes' page and returns a JSON list of objects containing the film name and quote.
SCJ Level 2 Example Applications
A model of SCJ Level 2 in Circus
Just a repository for testing things
A Work in Progress library of CSPm modules that provide tractable data structures
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes