/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

gist.github.com
| | www.github.com

my blog, with astro. Contribute to Krayorn/blog development by creating an account on GitHub.
2.5 parsecs

Travel
| |
| | cupano.com

My Blog Posts. Contribute to joecupano/blog development by creating an account on GitHub.
2.6 parsecs

Travel
| |
| | crpt.fyi

Issues for organizations and discussions, repo for debriefs and resources - Call For Proposal · francep2p/community Wiki
2.6 parsecs

Travel
| |
| | github.com

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 - 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.
4.3 parsecs

Travel
|