-
1366 Technologies
- Weymouth, Massachusetts, USA
Highlights
- Pro
-
exact-pi Public
Exact rational multiples of pi (and integer powers of pi) in Haskell
-
dimensional Public
Forked from bjornbm/dimensionalDimensional library variant built on Data Kinds, Closed Type Families, TypeNats
-
dimensional-codata Public
CODATA Recommended Physical Constants with dimensional types
-
igrf Public
International Geomagnetic Reference Field
-
dimensional-parsers Public
Parsing features for the dimensional library
-
kaos Public
kaos is a Haskell library to solve your problems with control
Haskell MIT License UpdatedMay 4, 2018 -
-
atmosphere Public
Forked from ghorn/atmosphere1976 US Standard Atmosphere in Haskell
Haskell UpdatedAug 29, 2016 -
intervals Public
Forked from ekmett/intervalsInterval Arithmetic
Haskell BSD 2-Clause "Simplified" License UpdatedAug 18, 2016 -
ais Public
Automatic Identification System message parsing and generation for Haskell
-
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Shell MIT License UpdatedJun 1, 2016 -
dimensional-th Public
Template Haskell features for use with the dimensional library
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 16, 2016 -
numtype-dk Public
Forked from bjornbm/numtype-dkNumTypes with TypeNats, Data Kinds, Closed Type Families...
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 16, 2016 -
-
log-domain Public
Forked from ekmett/log-domainThis package provides log-domain floats, doubles and complex numbers for Haskell.
Haskell Other UpdatedMay 6, 2016 -
binary-low-level Public
Forked from idontgetoutmuch/binary-low-levelA strict version of the Get monad from the binary package.
Haskell Other UpdatedMar 24, 2016 -
HaTeX Public
Forked from Daniel-Diaz/HaTeXThe Haskell LaTeX library.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 26, 2016 -
compensated Public
Forked from ekmett/compensatedCompensated floating-point arithmetic
Haskell Other UpdatedDec 29, 2015 -
lambda-devs Public
Forked from alios/lambda-devsa Paralell-DEVS implementaion based on distributed-process
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 28, 2015 -
kaos-vector Public
Record vectors for control engineering applications, with pretty printing
Haskell MIT License UpdatedOct 6, 2015 -
Library to access the GPIO pins on a Raspberry Pi from Haskell.
HTML BSD 3-Clause "New" or "Revised" License UpdatedSep 25, 2015 -
-
dimensional-dk-linalg Public
Dimensionally-typed linear algebra for Haskell based on the dimensional-dk package
-
agum Public
Forked from ramsdell/agumUnification and Matching in an Abelian Group
Haskell GNU General Public License v3.0 UpdatedApr 27, 2015 -
estimator Public
Forked from GaloisInc/estimatorState-space estimation algorithms and models
-
stm-conduit Public
Forked from cgaebel/stm-conduitSTM-based channels for conduits.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 21, 2014 -
polynomial Public
Forked from mokus0/polynomialHaskell library for manipulating and evaluating polynomials
Haskell UpdatedJun 27, 2014 -
-
language-cil Public
Forked from tomlokhorst/language-cilManipulating Common Intermediate Language AST in Haskell