Pinned Repositories
aern
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation.
aern2
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
exact-function-plotter
An exact-real function plotter in the browser
haskell-reals-comparison
Comparison of Haskell exact real number implementations
hmpfr
Haskell binding to the MPFR library
mixed-types-num
Alternative to Haskell Prelude.Num, deriving types bottom-up
PLC-code
Code for Programming Language Concepts modules at Aston University
PLC2021
PLC2022
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.
michalkonecny's Repositories
michalkonecny/aern2
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
michalkonecny/PLC-code
Code for Programming Language Concepts modules at Aston University
michalkonecny/PLC2022
michalkonecny/hmpfr
Haskell binding to the MPFR library
michalkonecny/aern
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation.
michalkonecny/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.
michalkonecny/PLC2021
michalkonecny/haskell-reals-comparison
Comparison of Haskell exact real number implementations
michalkonecny/mixed-types-num
Alternative to Haskell Prelude.Num, deriving types bottom-up
michalkonecny/exact-function-plotter
An exact-real function plotter in the browser
michalkonecny/robust-plots
Web app to plot robust enclosures of function graphs and fractals
michalkonecny/sierpinski-fractal-shadow
Animation of the Sierpinski tetrahedron and its shadow from different angles, inspired by Prof. Hideki Tsuiki
michalkonecny/aern2-talks
Material accompanying talks on AERN2
michalkonecny/branch-and-prune
An abstract version of the branch and prune constraint solving algorithm in Haskell
michalkonecny/caern-cca2021-slides
michalkonecny/cdar
michalkonecny/collect-errors
michalkonecny/container_arrangements_vis
michalkonecny/coq-interval-code-extraction
michalkonecny/feedbanq
A mini feedback bank manager app for more efficient marking
michalkonecny/fpvis
Visualisation of floating-point number representation
michalkonecny/hgmp
by Claude Heiland Allen (forked from https://code.mathr.co.uk/hgmp.git)
michalkonecny/kirk
Kommon Interface for Real Kommunication: lcd-rep(Reals in Exact Real Computations)
michalkonecny/marking-timer
michalkonecny/ps-multiplayer
michalkonecny/rounded
MPFR bindings for Haskell
michalkonecny/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.