Yasuhiro Inami inamiy

Software developer at @GoodNotes . Interests: Swift / Haskell / PureScript / Elm / Rust / TypeScript / Category Theory

Achievements

inamiy/README.md

swift-concurrency-type-system swift-concurrency-type-system Public

Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region. Presented at try! Swift Tokyo 2026.

Swift 44 1
Actomaton/Actomaton Actomaton/Actomaton Public

🎭 Swift async/await & Actor-powered effectful state-management framework.

Swift 265 12
Actomaton/Actomaton-Gallery Actomaton/Actomaton-Gallery Public

🖼 Gallery App for Actomaton (async/await + Elm Architecture) + SwiftUI.

Swift 58 2
Actomaton/ActoCrawler Actomaton/ActoCrawler Public

🕸️ Swift Concurrency-powered crawler engine on top of Actomaton.

Swift 22 2
SwiftRewriter SwiftRewriter Public

📝 Swift code formatter using SwiftSyntax.

Swift 827 28
Cassowary Cassowary Public

An incremental linear constraint-solving algorithm (Auto Layout) in Swift.

Swift 508 17

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

There was an error while loading. Please reload this page.