🤔
Thinking about lambda calculus
-
ap-sgtpuzzles-web Public
Web frontend for Simon Tatham's Portable Puzzle Collection with Archipelago support
JavaScript UpdatedSep 7, 2024 -
ap-sgtpuzzles Public
Archipelago support for Simon Tatham's Portable Puzzle Collection
C Other UpdatedSep 7, 2024 -
Archipelago-sgtpuzzles Public
Forked from ArchipelagoMW/ArchipelagoArchipelago world for Simon Tatham's Portable Puzzle Collection
Python Other UpdatedSep 6, 2024 -
-
ishanpm.github.io Public
Maybe I'll put some projects here
JavaScript MIT License UpdatedAug 6, 2022 -
-
pulse-ca Public
An 18-state CA for making logic gates with (relative) ease
-
-
-
mmj2 Public
Forked from digama0/mmj2mmj2 GUI Proof Assistant for the Metamath project
Java GNU General Public License v2.0 UpdatedDec 21, 2020 -
-
-
linearlogicgame Public
An unfinished linear logic sandbox
JavaScript MIT License UpdatedJul 14, 2020 -
chemlambda-editor Public
Javascript implementation of Chemlambda
-
-
launchpad-toys Public
Some toys and demos for the Launchpad Pro.
-
-
waveland-autosplitter Public
A short autosplitter for the Waveland demo (https://rologfos.com/demo)
UpdatedSep 18, 2017