/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
ANSI Escape Codes · GitHub
| | blog.robertelder.org
Developing Terminal Based Video Games For Linux
3.8 parsecs away

Travel
| |
| | www.github.com
Stargazers · Krayorn/blog · GitHub
3.9 parsecs away

Travel
| | my blog, with astro. Contribute to Krayorn/blog development by creating an account on GitHub.
| | gpac.wp.imt.fr
EBU TTD support in GPAC · gpac/gpac Wiki · GitHub
4.2 parsecs away

Travel
| | GPAC Ultramedia OSS for Video Streaming & Next-Gen Multimedia Transcoding, Packaging & Delivery - EBU TTD support in GPAC · gpac/gpac Wiki
| | 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
5.7 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.