- Download the jar
wget http://www.cs.amherst.edu/~djv/pd/ProofDesigner.jar - Create html file with contents:
<HTML>
<HEAD>
<TITLE>Proof Designer</TITLE>
<SCRIPT language="JavaScript">
function showHTML() {
Samrat Man Singh samrat
samrat
/ running_pd.org
Created
March 22, 2016 08:23
Running a local copy of Velleman's ProofDesigner
samrat
/ dl_comp_structures.py
Last active
March 5, 2016 07:25
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| from bs4 import BeautifulSoup | |
| from urllib.request import urlopen | |
| import subprocess | |
| import re | |
| import os | |
| import sys | |
| import pickle | |
| import shutil | |
| """ |
samrat
/ euler_method.org
Created
February 19, 2016 05:37
Solving differential equations using Euler's method in Org tables
samrat
/ panopto_feed_dl.py
Last active
March 4, 2016 17:09
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import feedparser | |
| import subprocess | |
| import os | |
| import sys | |
| def download_entry(entry): | |
| ext = os.path.splitext(entry.link)[1] | |
| subprocess.call(["wget", entry.link, "-O", entry.title + ext, "-c"]) | |
samrat
/ gist:fb1c7bc6bffca94fb084
Last active
August 29, 2015 14:27
(very rough) chaikin points for https://twitter.com/ashsans/status/609789833326669825
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| point points[] = {{163,216}, | |
| {173,271}, | |
| {195,291}, | |
| {192,307}, | |
| {173,290}, | |
| {173,327}, | |
| {166,328}, | |
| {153,281}, | |
| {142,336}, | |
| {133,351}, |
samrat
/ chaikin.ml
Created
August 7, 2015 13:52
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| open Core.Std | |
| type point = {x : float; | |
| y : float} | |
| let avg_two a b = | |
| 0.75 *. a +. 0.25 *. b | |
| let avg_two_points a b = | |
| {x= (avg_two a.x b.x); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| > #require "core_bench" | |
| > open Core.Std;; | |
| > open Core_bench.Std;; | |
| let run_bench tests = | |
| Command.run (Bench.make_command tests);; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include "SDL.h" | |
| /* | |
| Compilation: | |
| ============ | |
| gcc -g --std=c99 -o sdl2_stbtt sdl2_stbtt.c `sdl2-config --cflags --libs` -lm | |
| Usage: | |
| ====== | |
| ./sdl2_stbtt /usr/share/fonts/TTF/LiberationMono-Regular.ttf |
samrat
/ hashtable.rkt
Created
March 6, 2015 09:45
Quick n' dirty hashtable implementation in Racket
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #lang racket | |
| ;; USAGE: | |
| ;; ===== | |
| ;; (init-hashtable 100) | |
| ;; (insert ht 13 3) | |
| ;; (lookup ht 13) | |
| ;; (delete ht 13) | |
| ;; list of random integers in [0, num-buckets); used for hashing |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function tridiag_elem(i,j) | |
| if abs(j-i) > 1; return(0); end | |
| return(1); | |
| end | |
| function tridiag_mat(n) | |
| [tridiag_elem(i,j) for i in [0:n-1], j in [0:n-1]] | |
| end |