cartazio/stemmer
Haskell bindings to the Snowball stemming library.
Developer Profile
cartazio
Discovered public repositories for cartazio in the GitHub catalog.
cartazio/permutations-perrry
git import of patrick perry permutations lib from darcs
cartazio/language-c
git mirror of language-c darcs repo at http://code.haskell.org/language-c
cartazio/PerVect
Efficient Persistent Ephemeral Vectors
cartazio/meta-repa
Public repository.
cartazio/vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
cartazio/toysolver
My sandbox for experimenting solver algorithms.
cartazio/dataenc
I am not the maintainer of dataenc, i'm just giving it some breath of life
cartazio/minisat
A minimalistic and high-performance SAT solver
cartazio/jitplusplus
a tracing jit for c++ based on tracing and compiling from x86-64 assembly to x86-64 assembly
cartazio/haskell-lockfree
A collection of different packages for CAS based data structures.
cartazio/machines
Networks of composable stream transducers
cartazio/strict-identity
strict identity monad, handy for writing high performance strict code sanely
cartazio/colorimetry
A bunch of random colorimetry data I've harvested from various sources.
cartazio/hashtables
Mutable hash tables for Haskell, in the ST monad
cartazio/structures
A playground for working on advanced data structures in Haskell
cartazio/data-reify
Reification of data structures using observable sharing
cartazio/algebra
constructive abstract algebra
cartazio/lambdachine
VM and tracing JIT for Haskell (work in progress)
cartazio/homebrew-misc
miscellaneous brew formulas of my own. Sometimes old versions, sometimes random things.
cartazio/llvm-general
Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
cartazio/OpenBLAS
OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.
cartazio/rounded
MPFR bindings for Haskell
cartazio/blase
Robust, efficient, Haskell BLAS bindings (work in progress)
cartazio/blosc-hs
haskell bindings to the blosc compression library
cartazio/ersatz
A monad for interfacing with external SAT solvers
cartazio/lz4hs
Haskell bindings to lz4
cartazio/cabal
Official upstream development repository for Cabal and cabal-install
cartazio/analytics
Work in progress
cartazio/scoutess
git mirror of the scoutess project
cartazio/multipass
multipass calculations
cartazio/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
cartazio/HaNS
HaNS, a haskell network stack (currently an archeology project, but maybe can be revived)
cartazio/comonad
Haskell 98 comonads
cartazio/Idris-dev
A Dependently Typed Functional Programming Language
cartazio/ad
Automatic Differentiation
cartazio/hmatrix
Linear algebra and numerical computation
cartazio/hs-ieee754
Approximate comparisons for IEEE floating point numbers in Haskell
cartazio/hs-cblas
Haskell BLAS bindings
cartazio/vowpal_wabbit
John Langford's original release of Vowpal Wabbit -- a fast online learning algorithm
cartazio/numbers
Public repository.
cartazio/Vowpal-Utils
Utilities for interpreting models produced by Vowpal Wabbit
cartazio/sublime-text-2-packages-pile
all the config stuff of subl text 2
cartazio/my-webpage
Public repository.
cartazio/oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes optional plugins for various tools (rails, git, OSX, brew,...), over 40 terminal themes, and an auto-updating tool so that you can keep up with the latest improvements from the community.
cartazio/doctemplates
my latex templates etc
cartazio/haskalgebra
experiments in CAS and other mathematical functionality for haskell