Pinned Loading

1. simplex-method simplex-method Public

   Implementation of the two-phase simplex method in exact rational arithmetic.

   Haskell 6

2. LPPaver LPPaver Public

   An automated prover targeting problems that involve nonlinear real arithmetic.

   JavaScript 5

3. PropaFP PropaFP Public

   Auto-active verification of floating-point programs.

   Haskell 8

4. michalkonecny/aern2 michalkonecny/aern2 Public

   A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)

   Haskell 27 3

5. michalkonecny/exact-function-plotter michalkonecny/exact-function-plotter Public

   An exact-real function plotter in the browser

   Haskell 1

6. input-output-hk/sc-tools input-output-hk/sc-tools Public

   Select coins, build transactions

   Haskell 20 18