GitHub is home to over 36 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
A public repository for the probabilistic refinement of the graph programming language GP 2
A public repository for Evolving Graphs by Graph Programming
Lazy SmallCheck with functional values and existentials!
Command line tool to check the arrival time of the next bus
F-Lite Presto with Defunctionaliser
This is a version of Flite (yet another!) that converts the AST to the Core used for our iterative compiler. This repo is to aid us in creating the "Canonical Flite".