xcthulhu/gnet-spice-noqsi
Improved SPICE netlister for gEDA
Developer Profile
xcthulhu
Discovered public repositories for xcthulhu in the GitHub catalog.
xcthulhu/code-grouper
Used by www.codewars.com to group similar kata solutions together.
xcthulhu/Quick
A behavior-driven development test framework for Swift and Objective-C.
xcthulhu/homebrew-cask
A CLI workflow for the administration of Mac applications distributed as binaries
xcthulhu/gpuocelot
Clone of the gpuocelot project @ http://code.google.com/p/gpuocelot/ (Dynamic compilation framework for PTX)
xcthulhu/docker-hadoop-single-node
Dockerfile for building a single node Apache Hadoop container
xcthulhu/codewars-runner
The ability to execute sandboxed code as both a CLI tool and a server.
xcthulhu/modern-cljs
A series of tutorials on ClojureScript
xcthulhu/codewars-docker
Docker sandboxes for code katas in various languages.
xcthulhu/frontrowed
Public repository.
xcthulhu/lucy
A Clojure DSL for Neo4J's CYPHER query language and JDBC Interop
xcthulhu/hy
ὑμήνπτερόν
xcthulhu/Vim
Vim keybindings for Light Table
xcthulhu/zmq-async
Threadsafe Clojure core.async interface to ZeroMQ
xcthulhu/sampling
Random Sampling in Clojure
xcthulhu/kata-test-framework-haskell
codewars.com kata test framework for the Haskell language
xcthulhu/clj-beats
A small library for playing around with beats in clojure
xcthulhu/storm-hello-world
Storm hello world example
xcthulhu/defmacro-expl
A macro that only evaluates once (for testing purposes)
xcthulhu/config-files
Just a place to store a few config files....
xcthulhu/xcthulhu.github.io
After ω Blog
xcthulhu/escape-string
Working on a lighttable plugin to escape random json inputs
xcthulhu/Chemd3jsNew
Public repository.
xcthulhu/grunt-express-angular-example
Sample app that shows the usage of grunt-express v1.0
xcthulhu/showmethedom
Public repository.
xcthulhu/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming in data analysis with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
xcthulhu/395-2012
Public repository.
xcthulhu/TumblrScraper
scrap images on tumblr with tags and notes
xcthulhu/MarkovImageLogic
Markov Logic for images
xcthulhu/EECS349
Final Project for EECS349
xcthulhu/EECS325-Utils
Public repository.
xcthulhu/noqsiwebsite
Public repository.
xcthulhu/khan-exercises
A framework for building exercises to work with Khan Academy.
xcthulhu/Galaxy-Clusters
Detecting Galaxy Clusters from Archival XMM/Chandra Data
xcthulhu/mspgcc4
Fork of MSPGCC4 - GCC 4.x toolchain for MSP430 MCU
xcthulhu/armadeus
Fork of the armadeus toolchain
xcthulhu/CXBN
CXBN FPGA based Flight Software
xcthulhu/MoreheadStateFITS
FITS processing data for Morehead State's 21 meter Radio Dish
xcthulhu/CXRBNanoSat-Simulation-Environment
Simulator for the CXRBNanoSat attitude control system
xcthulhu/LSE64
64 bit OS-hosted version of LSE Forth
xcthulhu/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
xcthulhu/Cayley_Theorem
A proof of Cayley's embedding theorem from abstract algebra in Isabelle/HOL
xcthulhu/periphondemand
Fork of "peripherals on demand" python based system for VHDL design
xcthulhu/pschem
An opensource and scriptable schematics editor.
xcthulhu/Paper
Public repository.
xcthulhu/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).
xcthulhu/flyspeck
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)
xcthulhu/coded_aperture_vhdl
vhdl code for simulating/synthesizing an FPGA backend of a coded aperture
xcthulhu/SXI
Development of electronics for the ASTRO-H space mission
xcthulhu/lambda-geda
Haskell modules for manipulating gEDA schematic files