Matthew Wampler-Doty

Login: xcthulhu

Company: null

Location: null

Bio: null

Blog:

Blog:

Member of

2. TESS

Repositories

395-2012

null

adjunctions

Simple adjunctions

armadeus

Fork of the armadeus toolchain

bitauth

Authenticate with web services utilizing the same strategy as Bitcoin.

bitauth-cljs

ClojureScript wrapper of BitAuth

branchenomics

Economic Modeling of Vlad's Branch-Chain System

categories-working-hacker

Some Haskell code from the [Applied Category Theory Course]

Cayley_Theorem

A proof of Cayley's embedding theorem from abstract algebra in Isabelle/HOL

c-ethash

null

Chemd3jsNew

null

chromatophore

Reusable components for reagent

clj-beats

A small library for playing around with beats in clojure

cljs-ajax

simple Ajax client for ClojureScript

clojure

The Clojure programming language

closure-library

Google's common JavaScript library

coded_aperture_vhdl

vhdl code for simulating/synthesizing an FPGA backend of a coded aperture

code-grouper

Used by www.codewars.com to group similar kata solutions together.

codewars-docker

Docker sandboxes for code katas in various languages.

codewars-runner

The ability to execute sandboxed code as both a CLI tool and a server.

config-files

Just a place to store a few config files....

cpp-ethereum

Gavin Wood's C++ implementation of the Ethereum yellowpaper.

crypto-password

Library for securely hashing passwords

CXBN

CXBN FPGA based Flight Software

CXRBNanoSat-Simulation-Environment

Simulator for the CXRBNanoSat attitude control system

daggerhashimoto

null

defmacro-expl

A macro that only evaluates once (for testing purposes)

docker-hadoop-single-node

Dockerfile for building a single node Apache Hadoop container

DXRB

A systematic error calculation for a mission to measure the diffuse x-ray background throughout the universe

EECS325-Utils

null

EECS349

Final Project for EECS349

elliptic

Fast Elliptic Curve Cryptography in plain javascript

escape-string

Working on a lighttable plugin to escape random json inputs

ethash

null

EviL

MSc Thesis: Evidentialist Logic

flicker

Research into the diffusion model of 1/f noise

flyspeck

Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)

FPE

Focal Plane Electronics

fpe_tessting

Repository of scripts for testing the TESS FPE

frontrowed

null

Galaxy-Clusters

Detecting Galaxy Clusters from Archival XMM/Chandra Data

gnet-spice-noqsi

Improved SPICE netlister for gEDA

go-ethereum

Jeffrey Wilcke's Go implementation of the Ethereum y/w paper

GoldBug

A cryptographic library in Scala

GPLv3.md

GPLv3 in Markdown.

gpuocelot

Clone of the gpuocelot project @ http://code.google.com/p/gpuocelot/ (Dynamic compilation framework for PTX)

grunt-express-angular-example

Sample app that shows the usage of grunt-express v1.0

heimdal-ethereum

null

homebrew

The missing package manager for OS X.

homebrew-cask

A CLI workflow for the administration of Mac applications distributed as binaries

hy

??????????

IHaskell

A Haskell kernel for IPython.

Int_Logic

An Isabelle/HOL theory of intuitionistic logic, employing combinators and a shallow embedding of the simply typed lambda calculus using Schönfinkel's scheme

jinterop

clojure from java shitty tutorial

kata-test-framework-haskell

codewars.com kata test framework for the Haskell language

khan-exercises

A framework for building exercises to work with Khan Academy.

lambda-geda

Haskell modules for manipulating gEDA schematic files

LCC

A PDL model checker implemented in Haskell

levy

null

LSE64

64 bit OS-hosted version of LSE Forth

lucy

A Clojure DSL for Neo4J's CYPHER query language and JDBC Interop

MarkovImageLogic

Markov Logic for images

Modelling-A-Purely-Functional-Subset-Of-ECMAScript-2015

This is my Bachelor-Thesis. I showed how to derieve a purely functional programming language from an unrestricted language by example of ECMAScript 2015 aka JavaScript.

modern-cljs

A series of tutorials on ClojureScript

modules

A home for all blockchain and filesystem module wrappers, for use with epm and the decerver

MoreheadStateFITS

FITS processing data for Morehead State's 21 meter Radio Dish

mspgcc4

Fork of MSPGCC4 - GCC 4.x toolchain for MSP430 MCU

new-server

Simple and secure setup for a new server

noqsiwebsite

null

ocamlbuild

OCamlbuild

om

ClojureScript interface to Facebook's React

packages

Javascript libraries packaged up with Google Closure externs

package-sets

A curated list of PureScript packages

Paper

null

periphondemand

Fork of "peripherals on demand" python based system for VHDL design

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming in data analysis with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

pschem

An opensource and scriptable schematics editor.

pyethereum

Next generation cryptocurrency network

Quick

A behavior-driven development test framework for Swift and Objective-C.

roland-mc

For Roland Vanderspek: A Monty Carlo calculation for the likelihood that a cosmic ray will hit a subarray on detector. Written in Mathematica and literate python; needs SciPy/NumPy and Pweave.

Russells_Awareness_Logic

A paper on awareness logics intended to model Russell's epistemology laid out in Chapter XIII of "The Problems of Philosophy" (1912).

sampling

Random Sampling in Clojure

scalability_paper

null

sente

Realtime web comms for Clojure/Script

showmethedom

null

storm-hello-world

Storm hello world example

SXI

Development of electronics for the ASTRO-H space mission

tendermint_install

null

tessfpe

Python Module for Interfacing With the TESS Focal Plane Electronics

TumblrScraper

scrap images on tumblr with tags and notes

Vim

Vim keybindings for Light Table

WWVB

Experiment to monitor the WWVB clock signal (60 kHz) out of Fort Collins to try to detect cosmic gamma ray bursts from the ground

xcthulhu.github.io

After ? Blog

yakker

null

zachopy

Various tools used in lots of code written by Zach Berta-Thompson.

zmq-async

Threadsafe Clojure core.async interface to ZeroMQ

Commits To