tuura/scenco tuura/scenco

  • Stars
    star
    2
  • Language VHDL
  • License
    Other
  • Created about 9 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tuura/scenco
github

tuura

Reviews

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

Repository Details

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

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

archer

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

build-systems-in-coq

Build Systems Γ  la Carte formalised in Coq.
TeX
2
star
14

critic

XML parser
Haskell
2
star
15

tuura-api

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

les-to-cpog

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

fine-grained-state

Haskell
1
star
18

posters

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

compote

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

sync-models-paper

Paper on sync-async verification
TeX
1
star
21

farfalle

A DSL for exploring processor architectures
Haskell
1
star
22

buzz

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

path-finding

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

iam-report

TeX
1
star
25

redfin

Specification and verification of the REDFIN sequencer
TeX
1
star
26

shutters

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