Group items tagged

Chrome+HTML5 Conference で紹介された Dev Tool の Cheat Sheet．Chrome 開発者必須か？

LFやTwelfの流れを汲む証明系。証明木が見易いのが売りのようです。 [Types ML より] If you're planning to teach a programming language or logic foundations course and are thinking about using a proof assistant, you might consider SASyLF. SASyLF (Second-order Abstract Syntax Logical Framework) is an LF-based proof assistant that the same logical foundation and many of the same advantages as Twelf (in particular, variable binding is "built in"). However, it uses a syntax very close to that used for proofs on paper, giving the tool a much gentler learning curve--and much better error messages--than many alternatives.

Neo4J のグラフデータベースに対する入出力のためのツール群。特に CSV として出力する機能を提供している。

協働でLaTeX執筆するためのツール。

国際遠隔会議の日程調整に便利そう

DAG とか言われても平気な人向けにごく簡単に git の内部構造を紹介。

Windows で開発された高圧縮アーカイブ形式の 7z を UNIX などで利用できるようにするソフトウェア群です．p7zip はコマンド行から利用するもの，J7Zip は Java のための API のようです．

JavaScript でバイナリデータにアクセスするためのツールが公開された．なんか，大谷くんが作っているシステムに酷似しているような．．．要チェック．

渡部卓雄先生から教わった Language Oriented Programming のためのメタシステムのサイト。荒井くんに調べてもらおう。

Zack Rusinさんが SVG で git コマンドの一覧表を作ってくれています。PDF に変換して紙に印刷しました。欲しい人は PDF を送りますよ。

Visual Programming 言語に関するまとめサイト

ブラウザで動く開発環境。あらゆる言語に対応していて実行もできる。