michalkonecny

aern2

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

PLC-code

Code for Programming Language Concepts modules at Aston University

PLC2022

hmpfr

Haskell binding to the MPFR library

aern

A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation.

polypaver

A theorem prover specialised in deciding inequalities of non-linear real and floating-point expressions using rigorous polynomial approximations. Includes tools for verifying floating-point SPARK 2005 programs.

PLC2021

haskell-reals-comparison

Comparison of Haskell exact real number implementations

mixed-types-num

Alternative to Haskell Prelude.Num, deriving types bottom-up

exact-function-plotter

An exact-real function plotter in the browser

robust-plots

Web app to plot robust enclosures of function graphs and fractals

sierpinski-fractal-shadow

Animation of the Sierpinski tetrahedron and its shadow from different angles, inspired by Prof. Hideki Tsuiki

aern2-talks

Material accompanying talks on AERN2

branch-and-prune

An abstract version of the branch and prune constraint solving algorithm in Haskell

caern-cca2021-slides

cdar

collect-errors

container_arrangements_vis

coq-interval-code-extraction

feedbanq

A mini feedback bank manager app for more efficient marking

fpvis

Visualisation of floating-point number representation

hgmp

by Claude Heiland Allen (forked from https://code.mathr.co.uk/hgmp.git)

kirk

Kommon Interface for Real Kommunication: lcd-rep(Reals in Exact Real Computations)

marking-timer

ps-multiplayer

rounded

MPFR bindings for Haskell

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.