cartazio/coq-hetmet

Stars
2
Language Coq
Created about 8 years ago
Updated about 8 years ago

cartazio/coq-hetmet

cartazio

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

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

HetList

HetList experimentation for the future of Overloaded List syntax

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

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