Skip to content

Instantly share code, notes, and snippets.

View ThomasBrittain's full-sized avatar

Thomas Brittain ThomasBrittain

4 followers · 3 following
  • New York, NY
View GitHub Profile
@ThomasBrittain
ThomasBrittain / day_1.csv
Created May 2, 2020 22:50
Day 1
John 1234 Main St. 555-123-4567 [email protected]
Naomi 234 Apartment 412 555-758-9865 [email protected]
Bob Amazing Penthouse on Park Place 555-785-5544 [email protected]
Sarah 456 Main St. 555-456-7845 [email protected]
@ThomasBrittain
ThomasBrittain / Test.ml
Last active December 12, 2019 01:31
Time Series
#use "Utils.ml";;
#use "TimeSeriesWithRecords.ml";;
#use "TimeSeriesWithModules.ml";;
let test_data =
[|
{date = {year = 2019; month = Jan; day = 1}; time = None; value = Some 1.0};
{date = {year = 2019; month = Jan; day = 2}; time = None; value = Some 2.0};
{date = {year = 2019; month = Jan; day = 4}; time = None; value = None};
{date = {year = 2019; month = Jan; day = 6}; time = None; value = Some 3.0};
@ThomasBrittain
ThomasBrittain / TestProject.conf.in
Created March 8, 2019 01:11
Test Project configuration file
!-- DON'T EDIT THIS FILE! It is generated from TestProject.conf.in, edit that one, or the variables in Makefile.options -->
<ocsigen>
<server>
<port>443</port>
<user>www-data</user><group>www-data</group>
<logdir>/usr/local/var/log/TestProject</logdir>
<datadir>/usr/local/var/data/TestProject</datadir>
<ssl>
<certificate>path_to_cert.pem</certificate>
<privatekey>path_to_privkey.pem</privatekey>
@ThomasBrittain
ThomasBrittain / Makefile.options
Created March 8, 2019 01:03
Test Project Makefile.options
#----------------------------------------------------------------------
# SETTINGS FOR THE ELIOM PROJECT TestProject
#----------------------------------------------------------------------
PROJECT_NAME := TestProject
# Source files for the server
SERVER_FILES := TestProject.eliom
# Source files for the client
CLIENT_FILES := TestProject.eliom
@ThomasBrittain
ThomasBrittain / channel_communication.eliom
Created August 23, 2015 20:54
(* Example website login: localhost:8080/?user_num=1 *)
{shared{
open Eliom_lib
open Eliom_content
open Html5
open Html5.F
open Eliom_registration
open Eliom_parameter
}}
@ThomasBrittain
ThomasBrittain / channel_example.eliom
Last active August 29, 2015 14:27
(* Example website login: localhost:8080/?user_num=1 *)
{shared{
open Eliom_lib
open Eliom_content
open Eliom_content.Html5
open Html5.D
open Eliom_registration
open Eliom_parameter
}}
@ThomasBrittain
ThomasBrittain / eliom_channel.eliom
Last active August 29, 2015 14:27
(* Example website login: localhost:8080/?user_num=1 *)
{shared{
open Eliom_lib
open Eliom_content
open Html5.D
open Eliom_parameter
}}
module Channel_example_app =
@ThomasBrittain
ThomasBrittain / Eliom_communication.eliom
Last active August 29, 2015 14:24
Attempt at client/server communication in Eliom
{shared{
open Eliom_lib
open Eliom_content
open Html5
open F
}}
(* int_list functions *)
let int_list = ref [0]
let add_int i = (int_list := i :: !int_list)