bjornbm/numtype-dk

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

bjornbm/numtype-dk

bjornbm

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

NumTypes with TypeNats, Data Kinds, Closed 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.

numtype-tf

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

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

nn

astro-orbit

State representation for satellite orbits

dimensional-experimental

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