Pinned Repositories
c-7-in-ocaml
compelib
競プロ用ライブラリ
coq-dijkstra
A Verified Implementation of Dijkstra's Algorithm
Coq2SML
Lazy
Interpreter for call-by-need functional language
MLDay2
枠が空いてればLTをやる
MLstudy2
ML勉強会#2 (https://ml-lang.connpass.com/event/58151/) のスライド
sumiilab-tex
東北大学 住井研究室のステキな TeX ファイルたち
type-infer
A Formal Verification of Algorithm W
Udon
A Hobby implementation of ML
fetburner's Repositories
fetburner/sumiilab-tex
東北大学 住井研究室のステキな TeX ファイルたち
fetburner/coq-dijkstra
A Verified Implementation of Dijkstra's Algorithm
fetburner/type-infer
A Formal Verification of Algorithm W
fetburner/compelib
競プロ用ライブラリ
fetburner/Udon
A Hobby implementation of ML
fetburner/Coq2SML
fetburner/c-7-in-ocaml
fetburner/Lazy
Interpreter for call-by-need functional language
fetburner/MLDay2
枠が空いてればLTをやる
fetburner/MLstudy2
ML勉強会#2 (https://ml-lang.connpass.com/event/58151/) のスライド
fetburner/call-by-need
A Formalization of Ariola and Felleisen's call-by-need lambda calculus
fetburner/dotfiles
fetburner/min-caml
moved from https://sourceforge.net/p/min-caml/code/
fetburner/Misc
Misc programs
fetburner/MLstudy
fetburner/synology-make-px4_drv
Compile px4_drv for Synology NAS
fetburner/cbn
fetburner/EPGStation
Mirakurun を使用した録画管理ソフト
fetburner/Groningen
ストリーム処理DSLのサーベイ
fetburner/issue-creator
fetburner/jaw
fetburner/master
My master thesis
fetburner/metatheories
fetburner/OCat
cat in OCaml influenced by "Programming in OCaml"
fetburner/OFold
fold in OCaml influenced by "Programming in OCaml"
fetburner/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
fetburner/owc
wc in OCaml influenced by "Programming in OCaml
fetburner/seminar
輪講の資料
fetburner/SmlSharpContrib
fetburner/sotsuron
My graduation research