kisonecat/math3345-game kisonecat/math3345-game

  • Stars
    star
    1
  • Language Lean
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kisonecat/math3345-game
github

kisonecat

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An online game built with lean-make-game for Math 3345H

More Repositories

1

tikzjax

TikZJax is TikZ running under WebAssembly in the browser
JavaScript
342
star
2

web2js

Convert TeX's pascal to javascript
xBase
86
star
3

sequences-and-series

Course materials for a Calculus MOOC
TeX
74
star
4

m2o2c2

Multivariable calculus course materials
TeX
55
star
5

corne-case

3-D printed case for Corne keyboard without OLEDs
OpenSCAD
39
star
6

CatNip

Mac OS X application to detect and block cat-like typing
Perl
28
star
7

lerminus

The terminus font but with ligatures
JavaScript
27
star
8

fbpad-eink

A framebuffer-based terminal emulator targetting eink devices (Kobo)
C
17
star
9

ximera-ios

Interactive textbooks for tablet PCs, starting from LaTeX source files
Objective-C
15
star
10

autocut

Automatically cut off the parts of the video where I'm not speaking
Python
15
star
11

tikzwolke

tikzwolke is a cloud-based service converting <script> tags with TikZ code into SVG images
JavaScript
13
star
12

phase-plot

Plot complex functions
JavaScript
10
star
13

data-bootcamp

Some curriculum for a crash course on data science
Jupyter Notebook
7
star
14

beaudiomer

Beamer LaTeX package for an \audio command and a Ruby script for converting a .tex presentation into an .mp4 movie
Python
6
star
15

math5520h

Assigned readings and problem sets for Math 5520H
TeX
6
star
16

reader2maildir

Fetch posts from Google Reader into a local Maildir, propagating marks
Ruby
5
star
17

live-agda

Some tools for making Agda videos with syntax highlighting
Python
4
star
18

ForgetMeNot

SIMBL plugin for Safari; saves session when Safari quits
Objective-C
4
star
19

linearAlgebra

Linear algebra material with Crichton Ogle
TeX
3
star
20

iris-tent-and-bezel

3D models (from OpenSCAD) for a tent and bezel for an Iris keyboard
OpenSCAD
2
star
21

nixos-linux-ck

linux-ck packaged for NixOS
Nix
2
star
22

pdiff

Compare two PDFs via a text comparison and a visual comparison
Go
2
star
23

live-tex

Tools for the live TeX video
Python
2
star
24

ximeraSample

A short sample document demonstrating basic features of Ximera
TeX
2
star
25

math6701

Materials for a course about differential manifolds
TeX
2
star
26

math5801

curriculum for Math 5801, general topology and knot theory
TeX
1
star
27

math5522h

Complex analysis course materials
TeX
1
star
28

chart

Haskell
1
star
29

512-game

like the game 2048, but small enough that it fits into a boot sector
Assembly
1
star
30

subsets-of-reals

JavaScript library to manipulate intervals and other subsets of real numbers
JavaScript
1
star
31

big-history-of-mathematics

An epic narrative of mathematics
TeX
1
star
32

video-faq

Some discussion of how I make videos
1
star
33

pandoc-to-canvas

a script for uploading files to Canvas
Ruby
1
star
34

math7851

Characteristic class course readings and problem sets
TeX
1
star
35

cauchy.quest

play the Cauchy sequence game on a website
CSS
1
star
36

so3hd

Compute an SO(3)-invariant Hausdorff distance
C++
1
star
37

catalan-numbers

A classroom activity involving Catalan numbers
TeX
1
star
38

pondfeet

Design fonts by drawing representative glyphs and let "deep learning" fill in the rest
Python
1
star
39

deep-atari

Predict the output of the Atari 2600 from its RAM
Python
1
star
40

are-you-the-javascript

Run through scenarios for the reality show "Are You The One?"
JavaScript
1
star
41

covector-plotter

visualize 1-forms
JavaScript
1
star