Skip to content
@tuura

Tuura

Formal methods for hardware and software design

Popular repositories Loading

  1. pangraph pangraph Public

    A Haskell library for mathematical graph parsing and writing.

    Haskell 20 4

  2. selective-theory-coq selective-theory-coq Public

    Selective applicative functors laws and theorems

    Coq 14

  3. plato plato Public

    A DSL for asynchronous circuits specification

    Haskell 11 2

  4. process-mining process-mining Public

    A library for process mining

    Haskell 8 1

  5. centrifuge centrifuge Public

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

    Haskell 8

  6. graph-visualisation graph-visualisation Public

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

    Haskell 8

Repositories

Showing 10 of 39 repositories
  • 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 11 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 14 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 3 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
  • build-systems-in-coq Public

    Build Systems à la Carte formalised in Coq.

    tuura/build-systems-in-coq’s past year of commit activity
    TeX 2 0 0 0 Updated Dec 9, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…