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 - mrzool/bash-sensible: An attempt at saner Bash defaults
\|	\|	crpt.fyi Call For Proposal · francep2p/community Wiki · GitHub Issues for organizations and discussions, repo for debriefs and resources - Call For Proposal · francep2p/community Wiki	1.9 parsecs Travel
\|	\|
\|	\|	gpac.wp.imt.fr EBU TTD support in GPAC · gpac/gpac Wiki · GitHub GPAC Ultramedia OSS for Video Streaming & Next-Gen Multimedia Transcoding, Packaging & Delivery - EBU TTD support in GPAC · gpac/gpac Wiki	1.7 parsecs Travel
\|	\|
\|	\|	gist.github.com Revisions · defender-9.c · GitHub GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.	4.9 parsecs Travel
\|	\|
\|	\|	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 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.	2.7 parsecs Travel
\|