Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Sign up
Popular repositories
-
coded_aperture_vhdl
vhdl code for simulating/synthesizing an FPGA backend of a coded aperture
-
EviL
MSc Thesis: Evidentialist Logic
-
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.
Python 4
-
flyspeck
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)
-
TumblrScraper
scrap images on tumblr with tags and notes
-
WWVB
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
36 contributions in the last year
Contribution activity
August 2018
Created a pull request in purescript/package-sets that received 1 comment
Add argonaut-generic v2.0.0
Created an issue in justinwoo/spacchetti that received 4 comments
Port Perl to Haskell
This is a follow up on a conversation we had on slack. There I suggested that the perl scripts in the scripts could be executables written in Haskell.