bjornbm/numtype-tf

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Haskell
License
BSD 3-Clause "New...
Created almost 13 years ago
Updated over 10 years ago

bjornbm/numtype-tf

bjornbm

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

Type-level (low cardinality) integers for Haskell based on type families.

dimensional

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

astro

Astrodynamics code for Haskell

fad

Barak's Forward Automatic Differentiation

normaldistribution

Minimum fuss normally distributed random values.

leapseconds-announced

Haskell leap second table with leap seconds announced at library release time.

dimensional-classic

Automatically exported from code.google.com/p/dimensional

astro-tables

Slow-compiling tables for IAU2000

dimensional-vectors

Linear algebra with statically checked physical dimensions.

numtype

Type-level (low cardinality) integers for Haskell.

xmonad-gnome

Hoops I had to jump through to make gnome-session use xmonad (on Ubuntu), and other stuff

dimensional-tf

Statically checked physical dimensions, implemented using type families.

kalmanfilter

Kalman filter experiment with statically checked linear algebra

hslogger4j

DEPRECATED hslogger handlers for log4j's XMLLayout

numtype-dk

NumTypes with TypeNats, Data Kinds, Closed Type Families...

nn

astro-orbit

State representation for satellite orbits

dimensional-experimental

Modules building on dimensional that do not fit elsewhere (yet).