nushio3/typelevel-tensor nushio3/typelevel-tensor

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 13 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nushio3/typelevel-tensor
github

nushio3

Reviews

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

Repository Details

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

More Repositories

1

learn-haskell

Haskell
166
star
2

formura

Describe stencil formurae without even translating them
C
58
star
3

Paraiso

a Parallel Integration Scheme Organizer for partial differential equations solvers
C++
49
star
4

practice

C
28
star
5

unicode-show

A Haskell Package for unescaping unicode characters in print and show.
Haskell
18
star
6

physics-inhaskell

Knowledge of classical mechanics, written in haskell.
Haskell
14
star
7

cmaes

CMA-ES wrapper in Haskell
Python
7
star
8

citation-resolve

convert document identifiers such as DOI, ISBN, arXiv ID to bibliographic reference.
Haskell
6
star
9

UFCORIN

Universal Forecast Constructor for Solar X-Ray flux prediction
Python
6
star
10

lightning

Study of lightning in Haskell.
TeX
5
star
11

unittyped

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

binary-search

Binary and exponential searches
Haskell
3
star
13

dynamic-object

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

celestial-coordinates

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

doctest-prop

Allow QuickCheck-style property testing in doctest.
Haskell
3
star
16

cprb

C++ Preprocessor in Ruby flavor
Haskell
2
star
17

accelerate-test

test M. Chakravarty's accelerate.
C++
2
star
18

authoring

A library for writing papers in LaTeX
Haskell
2
star
19

ICFPC2013

Repository for ICFP Programming Contest 2013.
Haskell
2
star
20

arXivRadio

arXiv scraper and machine reader in radio news style
1
star
21

Data.Traversable-example

1
star
22

z3-sbv-travis

Test z3 installation and theorem proving via sbv pacage, with travis-CI
Haskell
1
star
23

idris-hayai

idris benchmarking
1
star
24

distributed-process-p2p

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

nmhd

nushio 's MHD equations solver
1
star
26

3d-mhd

A three-dimensional magnetohydrodynamics equations solver in Formura
C++
1
star