bjornbm/xmonad-gnome

Stars
2
Language
Created over 14 years ago
Updated almost 14 years ago

bjornbm/xmonad-gnome

bjornbm

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

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

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.

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