Giters
Huw Campbell (HuwCampbell)

HuwCampbell

Geek Repo

112

followers

0

following

6

stars

Home Page:huwcampbell.com

Github PK Tool:Github PK Tool

Organizations
hedgehogqa

Huw Campbell's starred repositories

optparse-applicative

Applicative option parser

Language:HaskellLicense:BSD-3-ClauseStargazers:897Issues:19Issues:286

granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Language:HaskellLicense:BSD-3-ClauseStargazers:564Issues:29Issues:146

tensor-ops

Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation

Language:HaskellLicense:BSD-3-ClauseStargazers:59Issues:11Issues:5

icicle

Icicle Streaming Query Language

Language:HaskellLicense:BSD-3-ClauseStargazers:18Issues:7Issues:8

papers

Language:TeXStargazers:1Issues:3Issues:0