A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
Contributions:1 review, 1664 commits, 21 PRs in 6 years 10 months
haskellexact-realspolynomials
Code for Programming Language Concepts modules at Aston University
Contributions:71 commits, 3 PRs, 57 pushes in 2 years 4 months
programming-language