Skip to content
On ramening
On ramening



Block or Report

Block or report matonix

Block user

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

Report abuse

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

Report abuse


  1. Learning "Purely Functional Data Structures" in Japanese

    Haskell 2 1

  2. Learning "Types and Programming Languages" in Japanese

    Haskell 2

  3. Convert *.hsfiles from/to actual directory structure using tar-like commands

    Haskell 1

  4. Here is a project for the web site of IWESEP2019.


68 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri
Activity overview
Contributed to matonix/topprover, matonix/dezero, matonix/dp-framework and 4 other repositories

Contribution activity

June 2021

Created 10 commits in 1 repository
Created 1 repository
Opened 1 issue in 1 repository
1 open

Seeing something unexpected? Take a look at the GitHub profile guide.