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 - DovAmir/awesome-design-patterns: A curated list of software and architecture related design patterns.
\|	\|	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.3 parsecs Travel
\|	\|
\|	\|	cupano.com Home · joecupano/blog Wiki · GitHub My Blog Posts. Contribute to joecupano/blog development by creating an account on GitHub.	1.1 parsecs Travel
\|	\|
\|	\|	plasma-umass.org GitHub - plasma-umass/doppio-demo: Demo of the Doppio Runtime System. · GitHub Demo of the Doppio Runtime System. Contribute to plasma-umass/doppio-demo development by creating an account on GitHub.	0.7 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.8 parsecs Travel
\|