Popular repositories

1. coded_aperture_vhdl Public

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

   VHDL 9 4

2. EviL Public

   MSc Thesis: Evidentialist Logic

   Shell 4 2

3. TumblrScraper Public

   scrap images on tumblr with tags and notes

   Python 4 1

4. roland-mc Public

   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.

   Python 3

5. flyspeck Public

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

   OCaml 3 1

6. WWVB Public

   Forked from noqsi/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

   Python 2