yugawara

Yasuaki Kudo 's repositories

musicat

Music and Category Theory

Language:Haskell3 30

gl-bbb-setup

Greenlight and BigBlueButton Setup

Language:Shell1 30

low-standard-guix

Low Standard Guix packages; those that would not be accepted without refinements

Language:Scheme100

wsde

Workers Self-Directed Enterprise turn-based simulator

Language:HaskellBSD-3-Clause1 20

Astro-Pinball

JavaScript/HTML Canvas version of classic pinball game

Language:JavaScript000

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1010

edu

020

git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

Language:CNOASSERTION020