Beast code in Giters

Yves Hauser's repositories

Domain specific language for financial contracts

Language:Haskell2 2 1

Language:Haskell2 20

Language:HaskellMIT1 3 1

Prototype experiments with ACTUS and Agda

Apache-2.0000

Symbolic financial contract EDSL

Language:CoqMIT020

FIX (co)parser in haskell

Language:HaskellLGPL-2.1010

A simple module for forward mode autodiff in futhark.

010

Proof of concept for the Hydra Head protocol :construction_worker:

Language:HaskellApache-2.0010

LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the late 90's

NOASSERTION000

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

Language:IsabelleApache-2.0000

Language:AgdaApache-2.0000

Writing financial contracts in Julia

Language:JuliaNOASSERTION000

Quandl.com API implementation in Haskell

Language:HaskellBSD-3-Clause020

Statistics Library for Futhark

Language:MakefileMIT020

Modern and extensible testing framework for Haskell

Language:Haskell000

Our homepage

Language:JavaScriptNOASSERTION010