tuura/archer tuura/archer

  • Stars
    star
    2
  • Language Idris
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tuura/archer
github

tuura

Reviews

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

Repository Details

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

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

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