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/resin
Resin: high performance variable binder and ast manipulation lib
cartazio/unboxed
some toys and tools for writing/using interesting unboxed sum types
cartazio/old-random
Random number library
cartazio/choices
haskell flavored linear logical inspired choice/join/selection made fancy
cartazio/libressl-hs
cartazio/part-time
partial ordery times!
cartazio/structures
A playground for working on advanced data structures in Haskell
cartazio/switchboard
network connection state management library/toolkit
cartazio/cabal2nix
Generate Nix build instructions from a Cabal file
cartazio/conda-recipes
build and test recipes for conda
cartazio/each
cartazio/gn-generate-ninja-mirror
cartazio/hashtables
Mutable hash tables for Haskell, in the ST monad
cartazio/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
cartazio/libdict
C library of key-value data structures.
cartazio/libsodium
A modern, portable, easy to use crypto library
cartazio/nix
Nix, the purely functional package manager
cartazio/nixops
NixOps, the NixOS-based cloud deployment tool
cartazio/nixpkgs
Nix Packages collection
cartazio/nixpkgs-channels
Nixpkgs/NixOS branches that track the Nixpkgs/NixOS channels
cartazio/nominal
nominal sets in haskell
cartazio/ojo
cartazio/patchelf
A small utility to modify the dynamic linker and RPATH of ELF executables
cartazio/pgf-1
cartazio/pijul-git-snapshot
jan 2019 pijul and libpijul reference codes
cartazio/primitive
This package provides various primitive memory-related operations.
cartazio/random
general purpose random number generation toolkit
cartazio/SecureHash-SHA3
cartazio/SMCKit
Apple SMC library & tool
cartazio/tweet-nacl-2014
repo of the public domain tweet nacl 2014 code