cartazio/HetList

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Haskell
Created about 10 years ago
Updated about 10 years ago

cartazio/HetList

cartazio

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

HetList experimentation for the future of Overloaded List syntax

numbers

monad-ste

ST with efficient exceptions

resin

Resin: high performance variable binder and ast manipulation lib

strict-identity

strict identity monad, handy for writing high performance strict code sanely

system-lf

linear logic and system f have a baby

Vowpal-Utils

Utilities for interpreting models produced by Vowpal Wabbit

safeword

finite sized word and int types with clear semantics

tlaps

mirror of tlaps

unboxed

some toys and tools for writing/using interesting unboxed sum types

omega

Automatically exported from code.google.com/p/omega

HaNS

HaNS, a haskell network stack (currently an archeology project, but maybe can be revived)

agreement

agreement and other sorts of coordination algorithms

blosc-hs

haskell bindings to the blosc compression library

scoutess

git mirror of the scoutess project

old-random

Random number library

my-webpage

humane-parsers-hs

really nice parser combinators done nice

machines-measured-stack

augmented stack with monoidal measures on the stack of streams

symmetric-monoidal

symmetric monoidal categories

storable-complex

This is the maintenance repo for storable complex

choices

haskell flavored linear logical inspired choice/join/selection made fancy

mech

a generalized state machine composition toolkit for building large systems

permutations-perrry

git import of patrick perry permutations lib from darcs

coq-hetmet

haver-raft

a port of a provably correct Raft algorithm

exp-fam

playing with some ideas i borrowed from a friend, exponential families are cool!

ralist

a fixed up copy of the Ralist package from hackage

orange

the colorful place for the best RNGs, goodness first

doctemplates

my latex templates etc

spin-model-checker

mirror of spin model checker

clocks

all sorts of distributed systems clocks!

hmap

heterogenous type level sorted Symbol to k maps

streaming-machine-json

move along, nothing interesting here just some ancient history

sublime-text-2-packages-pile

all the config stuff of subl text 2

for-latex-atom-theme

The ForLatex highlighting theme updated for Atom

part-time

partial ordery times!

haskalgebra

experiments in CAS and other mathematical functionality for haskell

custodian

geniplate

git mirror of geniplate source

sollya

metalibm-lugdunum

http://www.metalibm.org and friends, lugdunum repo

libressl-hs

PerVect

Efficient Persistent Ephemeral Vectors

hopenRTB

haskell openrtb server, meant for building a bidder / exchange

ltt

a linear type theory

dataenc

I am not the maintainer of dataenc, i'm just giving it some breath of life

switchboard

network connection state management library/toolkit

haskabelle

github mirror of haskabelle (haskell to isabelle theoremprover tool)

formal-series

some explorations of formal series representations and algorithms

octls

a byte of modern TLS