Giters
Thorsten Altenkirch (txa)

txa

Geek Repo

97

followers

3

following

8

stars

Company:The University of Nottingham

Location:Nottingham, UK

Home Page:http://www.cs.nott.ac.uk/~txa/

Github PK Tool:Github PK Tool

Thorsten Altenkirch's repositories

OmegaCats

Stargazers:8Issues:5Issues:0

Derivatives

Derivative of quotient containers

Language:HaskellStargazers:4Issues:2Issues:0

g52ifr

Language:VerilogStargazers:2Issues:2Issues:0

pisigma-0-2-2

Language:HaskellStargazers:1Issues:1Issues:0

alex-new

Grant application with Alex

Stargazers:0Issues:3Issues:0

cftlfp

Language:TeXStargazers:0Issues:2Issues:7

TTRes

Stargazers:0Issues:1Issues:0