Pinned Repositories
binary-protocol
Monad to ease implementing a binary network protocol.
Carcassonne
A 2D quantum physics simulation system using tensor network states.
CodeLattice
Tools for performing a brute-force search over all quantum subsystem codes for the regular tilings of the plane.
CodeQuest
A program and a library that computes the quantum subsystem code from an input list of measurement operators.
habit-of-fate-haskell
A web site for gamifying the building or loosening of habits in which the user is motivated by having their actions result in consequences for fictional characters.
LogicGrowsOnTrees
A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.
LogicGrowsOnTrees-processes
A library and framework for massively parallelizing backtracking searches in Haskell using multiple processes.
paycheck
A Python QuickCheck implementation
Talk-UQ-QSS-2013-09-24--language-spoken-by-states
Fully animated talk given at the University of Queensland about the theory connecting formal languages and quantum states, created using Inkscape and JavaScript.
VariationalPathIntegral
Haskell implementation of the variational path integral Monte Carlo approach for simulating systems govern by quantum mechanics.
gcross's Repositories
gcross/CodeQuest
A program and a library that computes the quantum subsystem code from an input list of measurement operators.
gcross/GotoT-transformers
A monad and monadic transformer for Haskell providing "goto" functionality
gcross/Blueprint
Experimental Haskell build system
gcross/gcross.github.com
Web Page
gcross/operational
Implement monads by specifying instructions and their desired operational semantics.
gcross/PauliQSC
A library for working with quantum subsystem codes.
gcross/reactive-banana
Reactive-banana is a library for functional reactive programming, written in the beautiful language Haskell.
gcross/tagged-list
A Haskell library implementing a list with a type-level tag giving the length.
gcross/Talk-UQ-QSS-2012-06-26--divide-and-conquer-quantum-style
Talk: University of Queensland, Quantum Science Seminar, 2012/6/26: "Divide and Conquer, Quantum Style!"
gcross/Talk-UQ-QSS-2013-09-24--language-spoken-by-states
Fully animated talk given at the University of Queensland about the theory connecting formal languages and quantum states, created using Inkscape and JavaScript.
gcross/test-framework-skip
A module for the test-framework system that allows one to mark a test to be skipped.
gcross/type-level-natural-number-induction
A Haskell library implementing induction, deduction, etc. strategies for type-level natural numbers.
gcross/WATATalk2012
gcross/AbortT-monadstf
A monad that implements abort functionality.
gcross/cereal
gcross/cmdtheline
Command line option parsing by Applicative Functors.
gcross/dmrg101_tutorial
Tutorial for the Taipei Density Matrix Renormalization Group School
gcross/haskell-mpi
MPI bindings for Haskell
gcross/LogicCloud
An experimental environment for running tests of LogicGrowsOnTrees in the cloud.
gcross/Poster-DMRG101-2012
gcross/PythonNotebook
gcross/Rewind
An experimental rougelike game allowing arbitrary undoing.
gcross/scipy
Scipy main repository
gcross/sequential-index
[Haskell] Sequential index numbers between 0.0 and 1.0 that allow arbitrarily inserting new numbers in between (for special containers).
gcross/Talk-PHYS3071-2013-04-29
gcross/Talk-PHYS3071-2013-05-06
gcross/Talk-PHYS3071-2013-05-20
gcross/test-framework
Framework for running and organising QuickCheck test properties and HUnit test cases
gcross/The-Escape-Artist
A system for creating escape-the-room games using SVG and JavaScript.
gcross/Tome4WikiIndexing
Scripts to assist building a Tome4 wiki index.