Skip to content
View michalkonecny's full-sized avatar
17 followers · 0 following
  • Birmingham, UK

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report michalkonecny

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. aern2 aern2 Public

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

    Haskell 21 2

  2. PLC-code PLC-code Public

    Code for Programming Language Concepts modules at Aston University

    Java 8 5

  3. PLC2022 PLC2022 Public

    Java 7 255

  4. hmpfr hmpfr Public

    Haskell binding to the MPFR library

    Haskell 6 3

  5. aern aern Public

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

    Haskell 5 3

  6. polypaver polypaver Public

    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 2…

    Haskell 4 1