s3d

WebGL simulation of 3D spherical geometry written in Idris2

Activity

c7146ad Add a link to a blog post about this project.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

05e64a8 Add buttons to move up and down.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

dd01367 Uncheck "hide floor" on startup.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

2d24bf6 Don't suppress non-arrow keys.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

7cdb9e1 Add something to look at when the floor is hidden.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

4ba7b8e Suppress default keyboard handlers.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

388ebd5 Add a checkbox that hides the floor.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

3629a66 Add licence.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

d8b303c Add a description.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

31e4b3d Add .gitignore

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

c0755cb List idris2 packages this depends on.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

a95f0ac Initial import.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

cf4527d Initial import.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d

380289a Initial import.

~falsifian pushed to ~falsifian/s3d git

6 months ago via s3d
~falsifian/s3d

New git repository added

6 months ago via s3d