Matthew Doty (@xcthulhu)
github

xcthulhu

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    62
  • Global Rank 293,356 (Top 11 %)
  • Followers 284
  • Following 14
  • Registered almost 15 years ago
  • Most used languages
    Python
         35.0 %
    C
         15.0 %
    Haskell
         10.0 %
    VHDL     10.0 %
    OCaml
         5.0 %
    Scala
         5.0 %
    Clojure
         5.0 %
    Fortran
         5.0 %
    Go
         5.0 %
    Shell
         5.0 %

Top 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

MoreheadStateFITS

FITS processing data for Morehead State's 21 meter Radio Dish
Python
1
star
23

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
24

fpe_tessting

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

modules

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

LCC

A PDL model checker implemented in Haskell
Haskell
1
star