mluckcuck

Matt Luckcuck's repositories

Language:TeX2 2 1

Personal Website of Matt Luckcuck

Language:TeX1 20

A Simple Python script that scrapes a given IMDB 'Quotes' page and returns a JSON list of objects containing the film name and quote.

Language:Python1 20

Website for the Autonomy and Verification Network.

Language:SCSSUnlicense010

A Simple Twitter Bot that Tweets James Bond Quotes

Language:Python000

A helper for CSP

Language:PythonGPL-3.0010

Small python tool to convert CSV files to tex, compatiable with LaTeX's glossary pacakge

Language:Python020

020

A framework for the elicitation, specification, formalization and understanding of requirements.

Language:JavaScriptNOASSERTION000

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

Language:PythonMIT000

SCJ Level 2 Example Applications

Language:Java020

A model of SCJ Level 2 in Circus

Language:TeX020

Just a repository for testing things

000

A Work in Progress library of CSPm modules that provide tractable data structures

020

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptMIT000