Pinned Repositories
marlowe-cardano
Marlowe smart contract language Cardano implementation
kid
Key Information Document, implementation of the RTS of the PRIIPs regulation
kid-annexes
Key Information Document, implementation of the calculations in the annexes
kid-document
Key Information Document generation
financial_contracts
Domain specific language for financial contracts
quandl-api-v3
runmed
yveshauser's Repositories
yveshauser/financial_contracts
Domain specific language for financial contracts
yveshauser/runmed
yveshauser/quandl-api-v3
yveshauser/Agda-Actus
Prototype experiments with ACTUS and Agda
yveshauser/contracts
Symbolic financial contract EDSL
yveshauser/dqsd-workbench
A iHaskell-based (Juypter) notebook based workbench for the ∆QSD framework
yveshauser/fixhs
FIX (co)parser in haskell
yveshauser/futhark-forward-AD
A simple module for forward mode autodiff in futhark.
yveshauser/hydra-poc
Proof of concept for the Hydra Head protocol :construction_worker:
yveshauser/lptp
LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the late 90's
yveshauser/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
yveshauser/marlowe-agda
yveshauser/Miletus.jl
Writing financial contracts in Julia
yveshauser/quandl-api
Quandl.com API implementation in Haskell
yveshauser/statistics
Statistics Library for Futhark
yveshauser/tasty
Modern and extensible testing framework for Haskell
yveshauser/zfoh.ch
Our homepage