- Leicester, UK
Stars
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
a cheat-sheet for mathematical notation in code form
Power Search: A full-text search plugin for Calibre
Repository hosting the open-source Nu Game Engine and related projects.
Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
A curated list of awesome mathematics resources
A curated set of links to formal methods involving provable code.
😎 Awesome lists about all kinds of interesting topics
Functional programming in Python: implementation of missing features to enjoy FP
ROguelike Toolkit in JavaScript. Cool dungeon-related stuff, interactive manual, documentation, tests!
Notes from Raymond Hettinger's talk at PyCon US 2013.
Functional programming tools for the shell
Collection of quotes on notation design & how it affects thought.
Interactive roadmaps, guides and other educational content to help developers grow in their careers.
Free resources for learning Full Stack Web Development
WorldPainter is an interactive graphical map generator for the indie game Minecraft.
A collection of tools and algorithms for developing traditional roguelikes. Such as field-of-view, pathfinding, and a tile-based terminal emulator.