phischu

Pinned Repositories

Android-Twitter-Core-Xamarin
Xamarin bindings for the twitter android sdk
Language:C#3 6 10
animations
Beautiful animations with monads and comonads!
Language:Haskell3 2 01
cabal
Fork of Cabal and cabal-install
Language:Haskell1 3 00
compilation-comparison
Comparison of compilation time and binary for Haskell build tools
Language:Haskell1 2 10
datomic-rest
Talk to datomic from Haskell.
Language:Haskell1 2 00
game-dsl
A DSL for simple games
Language:Haskell1 2 02
geometric-algebra
An implementation of geometric algebra in Haskell.
Language:Haskell2 2 00
ghc
Fork of ghc repository for GSoC
Language:Haskell1 2 00
haskell-image-processing-benchmark
Let's benchmark different image processing libraries for Haskell
Language:Haskell7 4 31
monad-examples
Example uses of monads
Language:Haskell43 3 01

phischu's Repositories

phischu/monad-examples
Example uses of monads
Language:Haskell43 3 01
phischu/Android-Twitter-Core-Xamarin
Xamarin bindings for the twitter android sdk
Language:C#3 6 10
phischu/animations
Beautiful animations with monads and comonads!
Language:Haskell3 2 01
phischu/geometric-algebra
An implementation of geometric algebra in Haskell.
Language:Haskell2 2 00
phischu/compilation-comparison
Comparison of compilation time and binary for Haskell build tools
Language:Haskell1 2 10
phischu/ad
Automatic Differentiation
Language:Haskell2 0
phischu/bachelor-mind
A quick master mind implementation.
Language:Haskell2 0
phischu/concat
Constrained categories
Language:Haskell2 0
phischu/conditional-probability
Probability monad supporting conditional probability.
2 0
phischu/fragnix-cli
Fragnix command line interface.
Language:C2 0
phischu/fragnix-server
Serves code fragments and meta-data.
Language:Ruby2 81
phischu/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
Language:Python1 0
phischu/hal2016-website
Webseite for Haskell in Leipzig 2016
Language:HTML2 0
phischu/haskell-modules
Extract real Haskell module files
Language:Haskell2 9
phischu/haskell-names
Haskell suite library for name resolution
Language:Haskell2 0
phischu/haskell-src-exts
Fork of haskell-src-exts for development of the haskell suite.
Language:Haskell2 0
phischu/homebrew-llvm
LLVM formulae for the Homebrew package manager
Language:Ruby2 0
phischu/HoTT-StudyGroup
Tübingen Study Group for Homotopy Type Theory
2 0
phischu/Idris2
A purely functional programming language with first class types
Language:Idris0 0
phischu/incremental-query
Incrementally reexecute you queries when data ist added/removed.
Language:Haskell2 0
phischu/koka
Koka language compiler and interpreter
Language:Haskell1 0
phischu/linear
Low-dimensional linear algebra primitives for Haskell.
Language:Haskell2 0
phischu/llol
Low level optimized language
Language:Haskell2 0
phischu/racket
The Racket repository
Language:Racket2 0
phischu/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Language:Shell2 0
phischu/stereo-vision
Stereo Vision in Haskell
Language:Haskell2 0
phischu/streaming-benchmarks
Benchmarks to compare Haskell streaming library performance
Language:Haskell2 0
phischu/tropical-neural-networks
Some playing around with neural networks in Haskell.
Language:Haskell3 0
phischu/uniqhash
Filter a list of filenames based on if their contents have changed.
Language:Haskell2 0
phischu/voxel-populi
Experiments with voxel rendering.
Language:HTML2 0