nushio3/z3-sbv-travis

Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created almost 9 years ago
Updated almost 9 years ago

nushio3/z3-sbv-travis

nushio3

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

learn-haskell

formura

Describe stencil formurae without even translating them

Paraiso

a Parallel Integration Scheme Organizer for partial differential equations solvers

practice

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

citation-resolve

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

UFCORIN

Universal Forecast Constructor for Solar X-Ray flux prediction

lightning

Study of lightning in Haskell.

typelevel-tensor

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

unittyped

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

binary-search

Binary and exponential searches

dynamic-object

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

celestial-coordinates

a simple script for managing and printing celestial coordinates in Haskell and Ruby.

doctest-prop

Allow QuickCheck-style property testing in doctest.

cprb

C++ Preprocessor in Ruby flavor

accelerate-test

test M. Chakravarty's accelerate.

authoring

A library for writing papers in LaTeX

ICFPC2013

Repository for ICFP Programming Contest 2013.

arXivRadio

arXiv scraper and machine reader in radio news style

Data.Traversable-example

idris-hayai

idris benchmarking

distributed-process-p2p

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

nmhd

nushio 's MHD equations solver

3d-mhd

A three-dimensional magnetohydrodynamics equations solver in Formura