/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

 dougmccune.com
Source Code License | Doug McCune
| | gomakethings.com
MIT License | Go Make Things
0.0 parsecs away

Travel
| | Copyright © Chris Ferdinandi Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the Software), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
| | github.com
personalization/LICENSE-MIT at main · graze-social/personalization · GitHub
0.2 parsecs away

Travel
| | Graze Personalization Engine. Contribute to graze-social/personalization development by creating an account on GitHub.
| | blog.molecular-matters.com
Source code license | Molecular Musings
0.1 parsecs away

Travel
| | All source code snippets found on this blog are subject to the MIT license: // The MIT License(MIT) // // Copyright(c) 2012-2017 Stefan Reinalter // // Permission is hereby granted, free of charge, to any person obtaining a copy // of this software and associated documentation files (the "Software"), to deal // in the Software...
| | 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
2.4 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.