I'm interested in Scala, Functional Programming, LaTeX and Cryptography.
trpl-2nd-pdf. 移動しました! Move to 👉
116kindle-clock. Kindle Clock Server
18trpl-ja-pdf. Rust
18featherweight_go. Featherweight Generics Go implementation by Scala
13excel-reads. Excel row parser using Scala macro
8generics-in-swift. PoC of Generics in protocol/extension
8myBlog. blog
8new-year-letter. 年賀状
7sbt-swagger-meta. This is a sbt plugin to generate a Swagger YAML/JSON file based on annotation
6higher-kinded-polymorphism-in-swift. Higher Kinded Polymorphism in Swift
6hxbn. hxbn is Haxe implementation of jsbn (http://www-cs-students.stanford.edu/~tjw/jsbn/)
5install-tex-travis. Install Script for TeXLive2019 to OSX and Linux on Travis CI
5slick-bulk-insert. Auto bulk INSERT query generator for Slick
4rust-type-level-programming-introduction. Rust
4atnos-eff-last-action. Eff interpreter implementation for atnos Eff's `addLast`
3qrand. A fair gacha using Quantum simulator
3typeclass-csharp. Poorer Man's Typeclass in C# using HDict, Type indexed value and Higher kinded polymorphism
3sbt-javacpp4s. A sbt plugin using JavaCPP for Scala
3PosixRegex. http://www.home.hs-karlsruhe.de/~suma0002/publications/regex-parsing-derivatives.pdf
3DIwithTaglessFinal. Scala
3rireki-tex. https://www.tamacom.com/rireki-j.html さんのクラスをTravis CIでビルドする設定
2ahcd-go. Apple Health Care Data XML file converter to CSV
2fujiTypeTask. Scala
2SATySFi-docs. Docs for https://github.com/gfngfn/SATySFi
2match-types-regex. Simple compile-time regular expression matcher
2featherweight_go-slide. TeX
2scalamatsuri2023. TeX
2fair-gacha-slide. TeX
2Serzone-Demo. CSS
2structure.js. This is a both of presentation and framework framework based on HTML & CSS
2ExtensibleException. Scala
2scalamatsuri2020. An interpreter handling over effects for Eff
2fujitask-eff. Fujitask(one of the transaction monads) implementation by Extensible Effects.
2karabiner-complex-modifications. My Karabiner Settings for Dvorak
2try-swift-slide. TeX
2HDic. Swift
2pytomlrs. Rust
1rust-gats-monad. Rust
1sfa-go. Go
1mitou-final-slide. 量子コンピュータによる公平な抽選システムの開発
1atnos-eff-state. State without mutable using atnos-eff.
1Saitan-bot. A Twitter bot resembling @seikakic
1NovelHinagata. 小説生成スクリプトの雛形
1Cont-in-Swift. Swift
1fujitask-eff-slide. TeX
1test-object. Scala
1WebScraperConfigPlus. Web::Scraperを設定ファイルから操作する
1install-tex-appveyor. Install Script for TeXLive2019 to Windows on AppVeyor
1