robin saxifrage robinsax

Builds software. Everything you'll find here is toy projects

brettvaida / ajax-get.js

Created November 25, 2017 17:51

AJAX GET request boilerplate

	const xhr = new XMLHttpRequest();
	const url = 'https://api-to-call.com/endpoint';

	xhr.responseType = 'json';
	xhr.onreadystatechange = function() {
	if (xhr.readyState === XMLHttpRequest.DONE) {
	console.log(xhr.response);
	}
	};

Mostafa-Hamdy-Elgiar / Filetimes.py

Created February 25, 2017 09:22

Python Script to convert Microsoft widows file time to python date and also date to windows file time

	#!/usr/bin/env python
	# Copyright (c) 2009, David Buxton <[email protected]>
	# All rights reserved.
	#
	# Redistribution and use in source and binary forms, with or without
	# modification, are permitted provided that the following conditions are
	# met:
	#
	# * Redistributions of source code must retain the above copyright
	# notice, this list of conditions and the following disclaimer.

mastazi / Deep Learning with Python 3 on ubuntu 16.04

Last active August 27, 2018 03:31

	# This is inspired by the fantastic guide https://github.com/saiprashanths/dl-setup
	# I have just updated the python-related commands so that everything works in Python 3.
	# Tested on Xubuntu 16.04.

	# First of all let's update the repos:
	sudo apt-get update

	# Only if you have a CUDA-compatible Nvidia card, install CUDA.
	# Check on the Nvidia website what is the latest driver version which supports your card.
	# At the time of this writing it was 367.

gipi / index.html

Created July 17, 2012 14:41

Use Javascript typed array to read raw data from a file (original code from http://www.html5rocks.com/en/tutorials/file/dndfiles/)

	<!DOCTYPE html>
	<html>
	<head>
	<title>POC</title>
	<body>
	<input type="file" id="files" name="files[]" multiple />
	<output id="list"></output>

	<script>
	function handleFileSelect(evt) {

jcxplorer / uuid.js

Created February 12, 2011 16:58

UUID v4 generator in JavaScript (RFC4122 compliant)

	function uuid() {
	var uuid = "", i, random;
	for (i = 0; i < 32; i++) {
	random = Math.random() * 16 \| 0;

	if (i == 8 \|\| i == 12 \|\| i == 16 \|\| i == 20) {
	uuid += "-"
	}
	uuid += (i == 12 ? 4 : (i == 16 ? (random & 3 \| 8) : random)).toString(16);
	}