xcthulhu/MoreheadStateFITS xcthulhu/MoreheadStateFITS

  • Stars
    star
    1
  • Language
    Python
  • Created over 13 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xcthulhu/MoreheadStateFITS
github

xcthulhu

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

coded_aperture_vhdl

vhdl code for simulating/synthesizing an FPGA backend of a coded aperture
VHDL
9
star
2

TumblrScraper

scrap images on tumblr with tags and notes
Python
4
star
3

EviL

MSc Thesis: Evidentialist Logic
Shell
4
star
4

flyspeck

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

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

flicker

Research into the diffusion model of 1/f noise
Python
2
star
7

Galaxy-Clusters

Detecting Galaxy Clusters from Archival XMM/Chandra Data
Python
2
star
8

armadeus

Fork of the armadeus toolchain
C
2
star
9

lambda-geda

Haskell modules for manipulating gEDA schematic files
Haskell
2
star
10

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
2
star
11

periphondemand

Fork of "peripherals on demand" python based system for VHDL design
Python
2
star
12

chromatophore

Reusable components for reagent
Clojure
2
star
13

Cayley_Theorem

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

CXBN

CXBN FPGA based Flight Software
VHDL
2
star
15

c-ethash

C
1
star
16

mspgcc4

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

GoldBug

A cryptographic library in Scala
Scala
1
star
18

CXRBNanoSat-Simulation-Environment

Simulator for the CXRBNanoSat attitude control system
C
1
star
19

risk-free-lending-isabelle

Formal verification of the safety of the risk-free lending protocol
1
star
20

DXRB

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

Paper

1
star
22

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).
1
star
23

fpe_tessting

Repository of scripts for testing the TESS FPE
Python
1
star
24

modules

A home for all blockchain and filesystem module wrappers, for use with epm and the decerver
Go
1
star
25

LCC

A PDL model checker implemented in Haskell
Haskell
1
star