mypy Playground をリリースしました

Python の静的型チェッカーである mypy を Web ブラウザから簡単に試せる mypy Playground をリリースしました.mypy が利用できる Web サービスとしては(おそらく)はじめてのものになります.

“mypy Playground をリリースしました” の続きを読む

TeX ドキュメントの作成過程を GIF アニメに変換する

Git でバージョン管理された \TeX ドキュメントの作成過程を GIF アニメーションに変換するシェルスクリプト tex-to-gif を作成しました. この記事では tex-to-gif の使用例を簡単に紹介します.

“TeX ドキュメントの作成過程を GIF アニメに変換する” の続きを読む

「プログラミング言語の基礎概念」演習システムのための Syntax Highlighting

Vim で「プログラミング言語の基礎概念」の演習システムの導出を記述するための syntax highlighting である vim-copl を公開しました.

“「プログラミング言語の基礎概念」演習システムのための Syntax Highlighting” の続きを読む

ポートフォリオをリニューアルしました

2016年5月にポートフォリオをリニューアルしましたので, 利用している技術などを簡単に紹介します. ソースコードは MIT ライセンスで GitHub 上で公開しています.

“ポートフォリオをリニューアルしました” の続きを読む

Django から Slack や HipChat に通知を送れる django-channels を公開しました

Django アプリケーションから簡単に Slack や HipChat に通知を送ることができる django-channels を公開しました. 現在, Slack, HipChat, Yo の3つのチャンネルに通知を送ることができます.

“Django から Slack や HipChat に通知を送れる django-channels を公開しました” の続きを読む