bjornbm/kalmanfilter

Stars
2
Language
Haskell
Created over 13 years ago
Updated over 13 years ago

bjornbm/kalmanfilter

bjornbm

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

Kalman filter experiment with statically checked linear algebra

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.

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).