Popular repositories Loading

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

   VHDL 9 5

2. MSc Thesis: Evidentialist Logic

   Shell 6 3

3. scrap images on tumblr with tags and notes

   Python 5 2

4. 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 4

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

   OCaml 4 1

6. 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 3