Skip to content
View holgerthies's full-sized avatar
20 followers · 14 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report holgerthies

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

Stars

Showing results

holgerthies / coq-aern

Coq 6 Updated Oct 17, 2024

park-sewon / website-tracker

short python program tracking website changes and notifies by sending email

Python 1 Updated Aug 31, 2021

FlorianSteinberg / coqrep

Coq 5 1 Updated Jan 28, 2019

park-sewon / iRRAM-Random

Module for randomly generated real numbers, complex numbers, matrices in iRRAM.

C++ 6 Updated Oct 27, 2020

junheecho / period

Computing periods...

C++ 1 Updated Jul 6, 2018

michalkonecny / aern2

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

Haskell 23 3 Updated Nov 6, 2024

norbert-mueller / iRRAM

Exact real arithmetic in C++

C++ 50 18 Updated Oct 1, 2020

michalkonecny / aern

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

Haskell 5 3 Updated Dec 2, 2015