Pinned Repositories
chemlambda-editor
Javascript implementation of Chemlambda
easy-minesweeper
Simple infinite minesweeper clone
ishanpm.github.io
Maybe I'll put some projects here
ktane-zendo
ktane-zendo-prototype
launchpad-toys
Some toys and demos for the Launchpad Pro.
LD47game
Detective game for Ludum Dare 47
linearlogicgame
An unfinished linear logic sandbox
metamathlinear
Implementation of linear logic in Metamath
pulse-ca
An 18-state CA for making logic gates with (relative) ease
ishanpm's Repositories
ishanpm/launchpad-toys
Some toys and demos for the Launchpad Pro.
ishanpm/chemlambda-editor
Javascript implementation of Chemlambda
ishanpm/pulse-ca
An 18-state CA for making logic gates with (relative) ease
ishanpm/easy-minesweeper
Simple infinite minesweeper clone
ishanpm/ishanpm.github.io
Maybe I'll put some projects here
ishanpm/ktane-zendo
ishanpm/ktane-zendo-prototype
ishanpm/LD47game
Detective game for Ludum Dare 47
ishanpm/linearlogicgame
An unfinished linear logic sandbox
ishanpm/metamathlinear
Implementation of linear logic in Metamath
ishanpm/mmj2
mmj2 GUI Proof Assistant for the Metamath project
ishanpm/nilquest-walkthrough
Walkthrough for Nil Quest by thisismypassword
ishanpm/PiCal
Esoteric pi-calculus based programming language
ishanpm/screeps-woofmao
My Screeps AI
ishanpm/waveland-autosplitter
A short autosplitter for the Waveland demo (https://rologfos.com/demo)