phischu's repositories
monad-examples
Example uses of monads
Android-Twitter-Core-Xamarin
Xamarin bindings for the twitter android sdk
animations
Beautiful animations with monads and comonads!
geometric-algebra
An implementation of geometric algebra in Haskell.
compilation-comparison
Comparison of compilation time and binary for Haskell build tools
bachelor-mind
A quick master mind implementation.
conditional-probability
Probability monad supporting conditional probability.
fragnix-cli
Fragnix command line interface.
fragnix-server
Serves code fragments and meta-data.
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
hal2016-website
Webseite for Haskell in Leipzig 2016
haskell-modules
Extract real Haskell module files
haskell-names
Haskell suite library for name resolution
haskell-src-exts
Fork of haskell-src-exts for development of the haskell suite.
homebrew-llvm
LLVM formulae for the Homebrew package manager
HoTT-StudyGroup
Tübingen Study Group for Homotopy Type Theory
Idris2
A purely functional programming language with first class types
incremental-query
Incrementally reexecute you queries when data ist added/removed.
stereo-vision
Stereo Vision in Haskell
streaming-benchmarks
Benchmarks to compare Haskell streaming library performance
tropical-neural-networks
Some playing around with neural networks in Haskell.
voxel-populi
Experiments with voxel rendering.