Tuura (@tuura)
Guthub

tuura

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    109
  • Global Org. Rank 55,643 (Top 18 %)
  • Registered almost 9 years ago
  • Most used languages
    Haskell
         46.2 %
    TeX
         15.4 %
    C++
         7.7 %
    Agda     3.8 %
    Python
         3.8 %
    C
         3.8 %
    VHDL     3.8 %
    Coq     3.8 %
    Verilog     3.8 %
    SMT     3.8 %
    Idris     3.8 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 8,663
  • Country Ranking
    SMT     6
    Coq     10
    Agda     27
    Idris     32
    Verilog     63
    Haskell
         88
    VHDL     92
    TeX
         416
    C
         2,720
    C++
         4,766

Top 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

redfin

Specification and verification of the REDFIN sequencer
TeX
1
star
27

shutters

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