mluckcuck
Assistant Professor of Computer Science and Co-organiser of @FMASWorkshop. Member of the @autonomy-and-verification network. Prev: @valu3s-mu
University of NottinghamDerby, UK
Pinned Repositories
autonomy-and-verification.github.io
Website for the Autonomy and Verification Network.
csp-parsing
A helper for CSP
CSV2GLS
Small python tool to convert CSV files to tex, compatiable with LaTeX's glossary pacakge
FormalSimulinkVerification
fret
A framework for the elicitation, specification, formalization and understanding of requirements.
fret-dl-templates
FRETISH templates for Dynamic Logic Contracts
lark
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
mluckcuck.github.io
Personal Website of Matt Luckcuck
QuoteScrape
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-level2-examples
SCJ Level 2 Example Applications
mluckcuck's Repositories
mluckcuck/mluckcuck.github.io
Personal Website of Matt Luckcuck
mluckcuck/QuoteScrape
A Simple Python script that scrapes a given IMDB 'Quotes' page and returns a JSON list of objects containing the film name and quote.
mluckcuck/autonomy-and-verification.github.io
Website for the Autonomy and Verification Network.
mluckcuck/csp-parsing
A helper for CSP
mluckcuck/CSV2GLS
Small python tool to convert CSV files to tex, compatiable with LaTeX's glossary pacakge
mluckcuck/FormalSimulinkVerification
mluckcuck/fret
A framework for the elicitation, specification, formalization and understanding of requirements.
mluckcuck/fret-dl-templates
FRETISH templates for Dynamic Logic Contracts
mluckcuck/lark
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
mluckcuck/scj-level2-examples
SCJ Level 2 Example Applications
mluckcuck/SCJL2--Circus
A model of SCJ Level 2 in Circus
mluckcuck/TractableCSPm
A Work in Progress library of CSPm modules that provide tractable data structures