Takayuki Muranushi

learn-haskell. Haskell

formura. Describe stencil formurae without even translating them

Paraiso. a Parallel Integration Scheme Organizer for partial differential equations solvers

practice. C

unicode-show. A Haskell Package for unescaping unicode characters in print and show.

physics-inhaskell. Knowledge of classical mechanics, written in haskell.

cmaes. CMA-ES wrapper in Haskell

UFCORIN. Universal Forecast Constructor for Solar X-Ray flux prediction

citation-resolve. convert document identifiers such as DOI, ISBN, arXiv ID to bibliographic reference.

lightning. Study of lightning in Haskell.

typelevel-tensor. A tensor class for Haskell that stores rank and dimension information in type-level.

binary-search. Binary and exponential searches

dynamic-object. object-oriented programming in Haskell, with duck typing and dynamic methods

unittyped. UnitTyped is a Haskell library for type-safe calculations on numbers with units.

doctest-prop. Allow QuickCheck-style property testing in doctest.

cprb. C++ Preprocessor in Ruby flavor

authoring. A library for writing papers in LaTeX

ICFPC2013. Repository for ICFP Programming Contest 2013.

accelerate-test. test M. Chakravarty's accelerate.

z3-sbv-travis. Test z3 installation and theorem proving via sbv pacage, with travis-CI

nmhd. nushio 's MHD equations solver

idris-hayai. idris benchmarking

pipe. A simple thread-safe FIFO in C.

distributed-process-p2p. Peer-to-peer node discovery for Cloud Haskell, manually forked from https://bitbucket.org/dpwiz/distributed-process-p2p

girih. This tool serves as a test harness for different optimization techniques to improve stencil computations performance in shared and distributed memory systems

arXivRadio. arXiv scraper and machine reader in radio news style

Data.Traversable-example.

sbv. SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. Automatically generate straight-line C programs from symbolic Haskell functions.

chainer. A flexible framework of neural networks

3d-mhd. A three-dimensional magnetohydrodynamics equations solver in Formura