Projects in Awesome Lists by michalkonecny
A curated list of projects in awesome lists by michalkonecny .
https://github.com/michalkonecny/aern2
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
exact-reals haskell numerics polynomials
Last synced: 14 Apr 2025
https://github.com/michalkonecny/plc-code
Code for Programming Language Concepts modules at Aston University
Last synced: 14 Apr 2025
https://github.com/michalkonecny/aern
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation.
Last synced: 14 Apr 2025
https://github.com/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.
Last synced: 26 Mar 2025
https://github.com/michalkonecny/haskell-reals-comparison
Comparison of Haskell exact real number implementations
Last synced: 04 Dec 2024
https://github.com/michalkonecny/mixed-types-num
Alternative to Haskell Prelude.Num, deriving types bottom-up
Last synced: 14 Apr 2025
https://github.com/michalkonecny/robust-plots
Web app to plot robust enclosures of function graphs and fractals
Last synced: 26 Mar 2025
https://github.com/michalkonecny/sierpinski-fractal-shadow
Animation of the Sierpinski tetrahedron and its shadow from different angles, inspired by Prof. Hideki Tsuiki
Last synced: 26 Mar 2025
https://github.com/michalkonecny/exact-function-plotter
An exact-real function plotter in the browser
Last synced: 26 Mar 2025
https://github.com/michalkonecny/feedbanq
A mini feedback bank manager app for more efficient marking
Last synced: 26 Mar 2025
https://github.com/michalkonecny/hgmp
by Claude Heiland Allen (forked from https://code.mathr.co.uk/hgmp.git)
Last synced: 26 Mar 2025
https://github.com/michalkonecny/fpvis
Visualisation of floating-point number representation
floating-point number-format visualisation
Last synced: 26 Mar 2025
https://github.com/michalkonecny/branch-and-prune-vis
Visual interface to our branch and prune algorithm over QF real arithmetic formulas over real boxes
Last synced: 11 Mar 2025
https://github.com/michalkonecny/branch-and-prune
An abstract version of the branch and prune constraint solving algorithm in Haskell
Last synced: 26 Mar 2025
https://github.com/michalkonecny/aern2-talks
Material accompanying talks on AERN2
Last synced: 26 Mar 2025