icfp
/
icfp15
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
27 Commits
1 Branch
418 KiB
 
 
 
 
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
icfp15/js
Stefan Bühler 068cc396dd higher order rocks + beard5 map 8 years ago
..
Makefile higher order rocks + beard5 map 8 years ago
beard.png add beard extension 8 years ago
bricks.png add beard extension 8 years ago
deadminer.png more images (dead miner, winning miner), fix bug with beard growth 8 years ago
earth.png key event fixes, add canvas mode (default) 8 years ago
empty.png key event fixes, add canvas mode (default) 8 years ago
gui.js higher order rocks + beard5 map 8 years ago
gui.min.js higher order rocks + beard5 map 8 years ago
horock.png higher order rocks + beard5 map 8 years ago
index.html add beard extension 8 years ago
lambda.png add beard extension 8 years ago
lift.png add beard extension 8 years ago
maps.js higher order rocks + beard5 map 8 years ago
maps.min.js higher order rocks + beard5 map 8 years ago
mapsToJson.js js/website simulator 8 years ago
mine.js higher order rocks + beard5 map 8 years ago
mine.min.js higher order rocks + beard5 map 8 years ago
miner.png more images (dead miner, winning miner), fix bug with beard growth 8 years ago
minerlift.png more images (dead miner, winning miner), fix bug with beard growth 8 years ago
openlift.png add beard extension 8 years ago
razor.png add beard extension 8 years ago
rock.png add beard extension 8 years ago
sprites.png higher order rocks + beard5 map 8 years ago
target.png add beard extension 8 years ago
target1.png add beard extension 8 years ago
target2.png add beard extension 8 years ago
target3.png add beard extension 8 years ago
target4.png add beard extension 8 years ago
target5.png add beard extension 8 years ago
target6.png add beard extension 8 years ago
target7.png add beard extension 8 years ago
target8.png add beard extension 8 years ago
target9.png add beard extension 8 years ago
test.js js/website simulator 8 years ago
trampoline.png add beard extension 8 years ago
trampolineA.png add beard extension 8 years ago
trampolineB.png add beard extension 8 years ago
trampolineC.png add beard extension 8 years ago
trampolineD.png add beard extension 8 years ago
trampolineE.png add beard extension 8 years ago
trampolineF.png add beard extension 8 years ago
trampolineG.png add beard extension 8 years ago
trampolineH.png add beard extension 8 years ago
trampolineI.png add beard extension 8 years ago
wall.png key event fixes, add canvas mode (default) 8 years ago