Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		github.com GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. · GitHub
\|	\|	plasma-umass.org GitHub - plasma-umass/doppio-demo: Demo of the Doppio Runtime System. · GitHub	0.1 parsecs away Travel
\|	\|	Demo of the Doppio Runtime System. Contribute to plasma-umass/doppio-demo development by creating an account on GitHub.	0.1 parsecs away Travel
\|	\|	gist.github.com 2-poissonPR.R · GitHub	0.8 parsecs away Travel
\|	\|	GitHub Gist: instantly share code, notes, and snippets.	0.8 parsecs away Travel
\|	\|	cupano.com Home · joecupano/blog Wiki · GitHub	0.1 parsecs away Travel
\|	\|	My Blog Posts. Contribute to joecupano/blog development by creating an account on GitHub.	0.1 parsecs away Travel
\|	\|	blog.separateconcerns.com How I use AI coding tools (in summer 2025)	18.8 parsecs away Travel
\|		I use Copilot for completion, Claude Code, and I try to avoid Lovable.	18.8 parsecs away Travel