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