david-christiansen/todo-list
A TODO list feature for DrRacket, like to Agda's goal list but for any language.
RacketLGPL-3.0
Stargazers
- jonsterlingCambridge, Cambridgeshire, UK
- ShadowCreator
- spdegabrielleEaling, UK
- fabrizioschiaviEarth
- joomNew York City
- hashimmm
- levibostian
- aatxeSan Mateo, California
- hidarisThe Internet
- lexi-lambdaChicago, IL
- jackfirthSunnyvale, CA
- haskellcamargoSydney, Australia
- shhyouTaipei, Taiwan
- AlexKnauth
- samthBloomington, IN
- ichistmeinnameGermany, Kiel
- maxsnewAnn Arbor, MI
- danr
- bennnSalt Lake City
- soegaardDenmark
- marnix
- joelburgetPortland, OR
- chiaki-iTokyo, Japan
- 741zxc606ShangHai
- samuszFrance
- brendanzabMelbourne, Australia
- d3v3l0Munich
- dannypsnlTaiwan
- kamil-adamKatowice
- JacekAndrzejewskiŁódź, Poland
- juniorxxue
- beike-zh
- weichen6613