edemaine/triputer
Baby computer
Professor in computer science at MIT. Specialist in algorithms and data structures.
Repositories
edemaine/mean
Natural language Lean
edemaine/NaraGaiden
See all your babies' data from Nara Baby tracker app
edemaine/lean-trominoes
Undecidability of Tiling with a Tromino, formalized in Lean
edemaine/cygshim
Use Cygwin git, pdflatex, latexmk in native Windows apps
edemaine/cocreate
Cocreate Shared Whiteboard/Drawing
edemaine/comingle
Multiroom meeting app integrating web tools
edemaine/coauthor
Coauthor supercollaboration/discussion forum
edemaine/topp
The Open Problems Project
edemaine/texlish
Better LaTeX that compiles to LaTeX
edemaine/t3code
edemaine/loose-ends
Solve open problems with Codex
edemaine/dark-monkey
Tampermonkey scripts to bring (extra) dark modes to various websites
edemaine/commonmark-hs
Pure Haskell commonmark parsing library, designed to be flexible and extensible
edemaine/pandoc
Universal markup converter
edemaine/fold
FOLD file format for origami models, crease patterns, etc.
edemaine/timer
Timer/countdown web app
edemaine/svgtiler
Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
edemaine/unfolding-polytopes
Ridge unfolding of polytopes in d dimensions
edemaine/agents-config
Parts of my .codex directory
edemaine/author-stack-paper
"Every Author as First Author" paper from SIGTBD 2023, about superimposing author names in a stack
edemaine/graph-orientation-visualizer
Visualization of Graph Orientation
edemaine/font-tetris
Tetris Font
edemaine/font-strip
Strip Folding Font
edemaine/codex-windows-sandbox-rs
Lightweight coding agent that runs in your terminal
edemaine/edemaine
Erik Demaine's GitHub profile
edemaine/coffeescript-for-python
CoffeeScript for Python programmers (a guide)
edemaine/amazing-qr
💮 amazing QRCode generator in Python (supporting animated gif) - Python amazing 二维码生成器（支持 gif 动态图片二维码）
edemaine/langserver.github.io
edemaine/cyg-git
Use Cygwin's Git from Go and VSCode