HIPERFIT/contracts HIPERFIT/contracts

  • Stars
    star
    38
  • Rank 706,870 (Top 14 %)
  • Language Coq
  • License
    MIT License
  • Created about 10 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HIPERFIT/contracts
github

HIPERFIT

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Symbolic financial contract EDSL

More Repositories

1

accelerate-opencl

Haskell
35
star
2

hopencl

OpenCL library for Haskell
C
8
star
3

finpar

Parallelisation of financial benchmarks
C
8
star
4

vectorprogramming

C++
7
star
5

stochastic-process-language

Stochastic Process Language
6
star
6

HQL

Porting Sinan Gabel's DerivativesExpert to Haskell (MSc-7.5)
TeX
4
star
7

recipes

Financial Recipes
Jupyter Notebook
2
star
8

aplcam

Ripoff of Niels's futcam, but now with added APL
Python
2
star
9

futhark-lexifi-heston

NOTE: now lives at https://github.com/HIPERFIT/futhark-benchmarks/tree/master/misc/heston
TeX
2
star
10

prototype

The HIPERFIT Portfolio Management Prototype
JavaScript
1
star
11

napoleon

The napoleon.hiperfit.dk website
HTML
1
star
12

language-c-quote

A fork to add OpenCL support to Geoffrey Mainland's Haskell library language-c-quote that provides C and CUDA quasiquoting functionality for Haskell.
Haskell
1
star
13

hipermark-benchmarks

Various benchmarks and implementations based on the Hipermark infrastructure
Haskell
1
star