HuwCampbell

HuwCampbell's Stars

• pcapriotti/optparse-applicative

  Applicative option parser

  Language:Haskell90019286113

• granule-project/granule

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

  Language:Haskell5682914832

• voltrevo/ValueScript

  A dialect of TypeScript with value semantics.

  Language:Rust817122

• mstksg/tensor-ops

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

  Language:Haskell591153

• icicle-lang/icicle

  Icicle Streaming Query Language

  Language:Haskell18783

• jacobstanley/papers

  Language:TeX130