Tuura

Formal methods for hardware and software design

2 followers
Newcastle University

Overview
Repositories
Projects
Packages
People

Popular repositories Loading

pangraph pangraph Public

A Haskell library for mathematical graph parsing and writing.

Haskell 20 4
selective-theory-coq selective-theory-coq Public

Selective applicative functors laws and theorems

Coq 15
plato plato Public

A DSL for asynchronous circuits specification

Haskell 13 2
graph-visualisation graph-visualisation Public

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

Haskell 9
process-mining process-mining Public

A library for process mining

Haskell 8 2
centrifuge centrifuge Public

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

Haskell 8

Repositories

Type Language Sort

process-mining Public
A library for process mining

tuura/process-mining's past year of commit activity

Haskell 8 2 2 0 Updated Oct 3, 2024
redfin Public
Specification and verification of the REDFIN sequencer

tuura/redfin's past year of commit activity

TeX 1 MIT 0 1 0 Updated Dec 14, 2020
boolean Public
A library for manipulating Boolean expressions

tuura/boolean's past year of commit activity

Haskell 3 MIT 2 5 0 Updated Dec 14, 2020
pangraph Public
A Haskell library for mathematical graph parsing and writing.

tuura/pangraph's past year of commit activity

Haskell 20 BSD-3-Clause 4 7 3 Updated Oct 19, 2020
plato Public
A DSL for asynchronous circuits specification

tuura/plato's past year of commit activity

Haskell 13 2 11 1 Updated Oct 1, 2020
selective-theory-coq Public
Selective applicative functors laws and theorems

tuura/selective-theory-coq's past year of commit activity

Coq 15 0 0 0 Updated Mar 12, 2020
tuura-website Public
Content of https://tuura.org

tuura/tuura-website's past year of commit activity

HTML 0 1 0 0 Updated Mar 7, 2020
fine-grained-state Public

tuura/fine-grained-state's past year of commit activity

Haskell 1 BSD-3-Clause 0 0 0 Updated Oct 24, 2019
iam Public
I am an Inglorious Adding Machine

tuura/iam's past year of commit activity

SMT 4 0 0 0 Updated Apr 1, 2019
posters Public
This repository stores the posters made by the microSystems' research team, School of Engineering, Newcastle University (UK).

tuura/posters's past year of commit activity

1 1 0 0 Updated Jan 21, 2019