I'm trying to find a good HTTP proxy for personal use (I might want to experiment with the code too.) Other than squid, I found tinyproxy and polipo, but apparently tinyproxy doesn't do caching. Do you know any others?
You're not missing much, there are few caching proxies smaller than squid, its under 1mb, and uses very little memory, provided you don't push it or misconfigure it.
If you want to dissect a proxy, micro-proxy (although non-caching afaik) is like 350 lines of code, so should be easy to follow.
Perhaps if you gave a little more detail as to what you wish to accomplish, i could make a better recommendation.
At one point I was searching for a squid alternative and I found that a talented Russian developer wrote such a proxy which he believed was better then squid, the problem is I can not find it anymore... maybe you will have better luck. (I'll post an update if i find it)
This is just a coincidence but nginx, wrote but yet again another talented developer from the Slavic world, has proxy like features but i don't know about caching.