Beast code in Giters

m's starred repositories

Coq to Rust program extraction. The whole tree is on the original Coq code base.

Language:OCamlLGPL-2.1222 16 5

Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。

Language:C#MIT2700

#言語擬人化学園もの