Yves Hauser's repositories
contracts
Symbolic financial contract EDSL
Language:CoqMIT000
fixhs
FIX (co)parser in haskell
Language:HaskellLGPL-2.1000
futhark-forward-AD
A simple module for forward mode autodiff in futhark.
000
quandl-api
Quandl.com API implementation in Haskell
statistics
Statistics Library for Futhark
Language:MakefileMIT000
