junjihashimoto (junji hashimoto) · GitHub
Skip to content
View junjihashimoto's full-sized avatar
🏠
Working from home
🏠
Working from home
119 followers · 116 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@gree @NixOS @hasktorch @cyberbotics

Block or report junjihashimoto

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. Verilean/sparkle Verilean/sparkle Public

    A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.

    Lean 88 14

  2. Verilean/hesper Verilean/hesper Public

    Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, and cross-platform support (Metal/Vulkan/D3D12). Build prova…

    Lean 26 1

  3. Verilean/xeus-lean Verilean/xeus-lean Public

    Lean 13 1

  4. hasktorch/hasktorch hasktorch/hasktorch Public

    Tensors and neural networks in Haskell

    Haskell 1.2k 123

  5. louter louter Public

    Haskell 9 2

  6. intelli-monad intelli-monad Public

    Haskell 4 3