Skip to content
View MatthiasHu's full-sized avatar
26 followers · 4 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report MatthiasHu

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

felixwellen / synthetic-geometry

Synthetic geometry. Probably mostly algebraic geometry.

23 4 Updated Jan 22, 2024

MatthiasHu / 4d-labyrinth

Haskell 3 1 Updated Jan 7, 2024

iblech / internal-methods

Notes on how to use the internal language of toposes in algebraic geometry

TeX 55 3 Updated Nov 30, 2024

MatthiasHu / FractalsWebGL

JavaScript 6 1 Updated Dec 11, 2016

curry-club-aux / curry-club-augsburg.de

Our Website

HTML 17 5 Updated Oct 19, 2022

timjb / halma

Chinese Checkers Haskell library, GUI application and Telegram bot

Haskell 16 4 Updated May 9, 2021

MatthiasHu / Tetris3D

Haskell 2 1 Updated May 15, 2015

timjb / quantities

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

Idris 159 11 Updated Jan 28, 2019