tuura/redfin tuura/redfin

  • Stars
    star
    1
  • Language
    TeX
  • License
    MIT License
  • Created almost 8 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tuura/redfin
github

tuura

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Specification and verification of the REDFIN sequencer

More Repositories

1

pangraph

A Haskell library for mathematical graph parsing and writing.
Haskell
20
star
2

selective-theory-coq

Selective applicative functors laws and theorems
Coq
14
star
3

plato

A DSL for asynchronous circuits specification
Haskell
12
star
4

graph-visualisation

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

centrifuge

Parse GraphML, crunch with Alga, pretty-print to VHDL
Haskell
8
star
6

process-mining

A library for process mining
Haskell
8
star
7

selective-theory-agda

Selective functors formalised in Agda
Agda
6
star
8

sync-models

Tool for creating synchronous models and behavioral specifications for asynchronous circuits
Verilog
5
star
9

fantasi

Fast network analysis in silicon
C
3
star
10

iam

I am an Inglorious Adding Machine
SMT
3
star
11

boolean

A library for manipulating Boolean expressions
Haskell
3
star
12

scenco

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

archer

An experimental embedded domain specific language for describing instruction set architectures semantics.
Idris
2
star
14

build-systems-in-coq

Build Systems ร  la Carte formalised in Coq.
TeX
2
star
15

critic

XML parser
Haskell
2
star
16

tuura-api

Restful functions on https://tuura.org/api
Python
1
star
17

les-to-cpog

Computing the size of the CPOG and LES corresponding to a given unfolding
Haskell
1
star
18

fine-grained-state

Haskell
1
star
19

posters

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

compote

A tool for composing structures and behaviours. Mostly theoretical musings at this point.
C++
1
star
21

sync-models-paper

Paper on sync-async verification
TeX
1
star
22

farfalle

A DSL for exploring processor architectures
Haskell
1
star
23

buzz

A playground for functional programming for Internet of Things
Haskell
1
star
24

path-finding

Experimenting with path-finding algorithms in Haskell
Haskell
1
star
25

iam-report

TeX
1
star
26

shutters

Plugin for the generation of Boolean equations for process windows application
C++
1
star