Beast code in Giters

Masayuki Mizuno's repositories

sumiilab-tex

東北大学住井研究室のステキな TeX ファイルたち

Language:TeX3500

type-infer

A Formal Verification of Algorithm W

Language:CoqMIT17 10

compelib

競プロ用ライブラリ

Language:OCaml1500

Udon

A Hobby implementation of ML

Language:Standard ML1500

coq-dijkstra

A Verified Implementation of Dijkstra's Algorithm

Language:CoqMIT1200

Coq2SML

Language:OCaml6 10

c-7-in-ocaml

Language:OCamlMIT500

Lazy

Interpreter for call-by-need functional language

Language:Standard ML4 10

MLDay2

枠が空いてればLTをやる

Language:TeX400

MLstudy2

ML勉強会#2 (https://ml-lang.connpass.com/event/58151/) のスライド

Language:TeX400

call-by-need

A Formalization of Ariola and Felleisen's call-by-need lambda calculus

Language:TeX300

dotfiles

Language:Emacs Lisp2 20

min-caml

moved from https://sourceforge.net/p/min-caml/code/

Language:OCamlNOASSERTION2 10

Misc

Misc programs

Language:Coq2 20

MLstudy

Language:TeX2 10

cbn

Language:Coq010

EPGStation

Mirakurun を使用した録画管理ソフト

MIT000

EvalML4

Language:OCaml020

Groningen

ストリーム処理DSLのサーベイ

Language:TeXBSD-2-Clause000

issue-creator

000

jaw

Language:OCamlMIT010

master

My master thesis

Language:TeX010

metatheories

Language:Coq010

OCat

cat in OCaml influenced by "Programming in OCaml"

Language:OCaml000

OFold

fold in OCaml influenced by "Programming in OCaml"

Language:OCaml000

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:JavaScriptLGPL-2.1010

owc

wc in OCaml influenced by "Programming in OCaml

Language:OCaml010

seminar

輪講の資料

Language:TeX000

SmlSharpContrib

Language:Standard MLMIT000

sotsuron

My graduation research

Language:TeX000