-
either-unwrap Public
Functions for probing and unwrapping values inside of Either.
-
approximate-equality Public
A Haskell library implementing approximate equality.
-
-
-
habit-of-fate-haskell Public
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 Public
A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.
-
-
slick Public
A system to facilitate making presentations with animations.
-
-
-
paycheck Public
Forked from markchadwick/paycheckA Python QuickCheck implementation
-
A library in Haskell providing operations on type-level natural numbers.
-
AbortT-transformers Public
A Haskell monad and monadic transformer providing "abort" functionality
-
AbortT-mtl Public
mtl instances for the AbortT monad transformer
-
LogicGrowsOnTrees-network Public
A library and framework for massively parallelizing backtracking searches in Haskell using network clients and a server.
Haskell BSD 2-Clause "Simplified" License UpdatedApr 5, 2016 -
-
ghc-pkg-lib Public
Forked from JPMoresmau/ghc-pkg-liba library mimicking ghc-pkg list function
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 14, 2015 -
-
jrnl Public
Forked from jrnl-org/jrnlA simple command line journal application that stores your journal in a plain text file.
Python MIT License UpdatedOct 2, 2014 -
-
-
type-level-natural-number Public
Simple, Haskell 2010-compatible type-level natural numbers for Haskell.
-
-
LogicGrowsOnTrees-processes Public
A library and framework for massively parallelizing backtracking searches in Haskell using multiple processes.
Haskell BSD 2-Clause "Simplified" License UpdatedMar 9, 2014 -
LogicGrowsOnTrees-MPI Public
A library and framework for massively parallelizing backtracking searches in Haskell using MPI.
Haskell BSD 2-Clause "Simplified" License UpdatedMar 8, 2014 -
Carcassonne Public
A 2D quantum physics simulation system using tensor network states.
-
-
Nutcracker Public
An efficient 1D quantum physics simulation system using matrix product states.
-
HDF Public
A C++ wrapper for the HDF C library.
-