/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
2-poissonPR.R · GitHub
| | crpt.fyi
Call For Proposal · francep2p/community Wiki · GitHub
0.7 parsecs away

Travel
| | Issues for organizations and discussions, repo for debriefs and resources - Call For Proposal · francep2p/community Wiki
| | www.github.com
Stargazers · Krayorn/blog · GitHub
0.5 parsecs away

Travel
| | my blog, with astro. Contribute to Krayorn/blog development by creating an account on GitHub.
| | 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
0.8 parsecs away

Travel
| | 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.
| | initialcommit.com
Coding Round Ups
13.4 parsecs away

Travel
| [AI summary] The content is a collection of programming-related articles and resources, including book recommendations, certifications, and tools like Git and Eclipse.