Tuura

pangraph

A Haskell library for mathematical graph parsing and writing.

selective-theory-coq

Selective applicative functors laws and theorems

plato

A DSL for asynchronous circuits specification

centrifuge

Parse GraphML, crunch with Alga, pretty-print to VHDL

graph-visualisation

Provides a series of graph-drawing functions for use with the algebraic-graphs library.

process-mining

A library for process mining

selective-theory-agda

Selective functors formalised in Agda

sync-models

Tool for creating synchronous models and behavioral specifications for asynchronous circuits

boolean

A library for manipulating Boolean expressions

fantasi

Fast network analysis in silicon

iam

I am an Inglorious Adding Machine

archer

An experimental embedded domain specific language for describing instruction set architectures semantics.

build-systems-in-coq

Build Systems à la Carte formalised in Coq.

critic

XML parser

scenco

SCENCO (=SCENario ENCOder) is a tool for the encoding and hardware synthesis of Conditional Partial Order Graphs.

fine-grained-state

iam-report

les-to-cpog

Computing the size of the CPOG and LES corresponding to a given unfolding

path-finding

Experimenting with path-finding algorithms in Haskell

posters

This repository stores the posters made by the microSystems' research team, School of Engineering, Newcastle University (UK).

redfin

Specification and verification of the REDFIN sequencer

sync-models-paper

Paper on sync-async verification

tuura-api

Restful functions on https://tuura.org/api

async-traversal-paper

Asynchronous Network Traversal for Computational Drug Discovery

circuit-complexity

Experiments for improving circuit complexity bounds

papers

Tuura papers and slides

poets-slides-template

Template for creating talk slides based on remarkjs

streams

Experimenting with typed streams

striot-monads-seminar

Presentation and examples of @geo2a's Strior seminar talk on monads

tuura-website

Content of https://tuura.org