I used codef as an experiment, a learning experience.
I have since moved on to another library that allows for image rotation, scaling, alpha blending, etc.
It now has mouse, keyboard, sound.
It is quite capable of making a game.
There are still several things that I want to add to it.
Also, there is no help file made yet.
(I like coding, I dislike making help files).
Here is the list of HTML5 related commands so far:
setBackgroundColor
getBackgroundColor
getAlpha
setAlpha
setColor
getWidth
getHeight
setDimensions
setLineWidth
getLineWidth
setLineCap
getLineCap
setImageSmoothing
getImageSmoothing
Line
StrokeRectangle
FillRectangle
StrokeCircle
FillCircle
StrokeArc
FillArc
Draw
DrawCentered
Translate
Scale
Rotate
Push
Pop
Canvas
ImageLoad
Sprite
SpriteSheet
KeyDown
MouseX
MouseY
MousePressed
SoundLoad
SoundPlay
SoundCanPlay
MediaLoaded
MediaPending
ImageWidth
ImageHeight
ImageDraw
SpriteWidth
SpriteHeight
SpriteDraw