Skip to content
View hide-kawabata's full-sized avatar
4 followers · 0 following

Achievements

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

Achievements

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

Block or report hide-kawabata

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

Pinned

  1. traf traf Public

    A proof tree viewer that works with Coq through Proof General

    OCaml 24 1

  2. Cubing Cubing Public

    Rubik's Cube Solvers, etc.

    Swift 1

  3. EOPL-Etudes EOPL-Etudes Public

    OCaml

  4. KUE-CHIP2-Tools KUE-CHIP2-Tools Public

    Tools for KUE-CHIP2 CPU: an assembler and a simulator

    Kotlin

  5. proof-tree proof-tree Public

    Forked from hendriktews/proof-tree

    proof tree display for Proof General

    OCaml

  6. toys toys Public

    Haskell