Pinned Repositories
language-c
git mirror of language-c darcs repo at http://code.haskell.org/language-c
mech
a generalized state machine composition toolkit for building large systems
monad-ste
ST with efficient exceptions
numbers
orange
the colorful place for the best RNGs, goodness first
resin
Resin: high performance variable binder and ast manipulation lib
strict-identity
strict identity monad, handy for writing high performance strict code sanely
numerical
Numerical is the core library for Numerical Haskell
cartazio's Repositories
cartazio/hs-cblas
Haskell BLAS bindings
cartazio/Vowpal-Utils
Utilities for interpreting models produced by Vowpal Wabbit
cartazio/blosc-hs
haskell bindings to the blosc compression library
cartazio/my-webpage
cartazio/sublime-text-2-packages-pile
all the config stuff of subl text 2
cartazio/haskalgebra
experiments in CAS and other mathematical functionality for haskell
cartazio/hs-ieee754
Approximate comparisons for IEEE floating point numbers in Haskell
cartazio/vowpal_wabbit
John Langford's original release of Vowpal Wabbit -- a fast online learning algorithm
cartazio/ad
Automatic Differentiation
cartazio/blase
Robust, efficient, Haskell BLAS bindings (work in progress)
cartazio/cabal
Official upstream development repository for Cabal and cabal-install
cartazio/cayenne
Resurrecting Lennart Augustsson's implementation of Cayenne
cartazio/celf
The Celf implementation of CLF
cartazio/colorimetry
A bunch of random colorimetry data I've harvested from various sources.
cartazio/comonad
Haskell 98 comonads
cartazio/ersatz
A monad for interfacing with external SAT solvers
cartazio/homebrew-misc
miscellaneous brew formulas of my own. Sometimes old versions, sometimes random things.
cartazio/jitplusplus
a tracing jit for c++ based on tracing and compiling from x86-64 assembly to x86-64 assembly
cartazio/lambdachine
VM and tracing JIT for Haskell (work in progress)
cartazio/lollimon
Lollimon, a monadic concurrent linear logic programming language
cartazio/lz4hs
Haskell bindings to lz4
cartazio/multipass
multipass calculations
cartazio/OpenBLAS
OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.
cartazio/pdfparser
cartazio/pegs
Program Expression Graphs for Equality Saturation
cartazio/PureEqSat
Equality Saturation for a small pure language
cartazio/soutei
a logic-based trust-management system
cartazio/Wheeler
The Wheeler symbolic manipulation library