/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

 jamesmills.co.uk
Adding a helper file in Laravel - James Mills
| | gist.github.com
Script to trigger a KVM switch on Linux by blinking Scroll Lock · GitHub
1.4 parsecs away

Travel
| | Script to trigger a KVM switch on Linux by blinking Scroll Lock - win7.sh
| | gist.github.com
user authentication module · GitHub
1.5 parsecs away

Travel
| | user authentication module. GitHub Gist: instantly share code, notes, and snippets.
| | gist.github.com
partitioning.cpp · GitHub
1.5 parsecs away

Travel
| | GitHub Gist: instantly share code, notes, and snippets.
| | 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
3.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.