Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Zig

R

Julia

Assembly

Groovy

CoffeeScript

MATLAB

TypeScript

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Zig

Ruby

Java

Elm

Dart

JavaScript

C#

Rust

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇧🇮 Burundi

🇰🇼 Kuwait

🇹🇭 Thailand

🇳🇪 Niger

🇰🇵 North Korea

🇧🇼 Botswana

🇦🇿 Azerbaijan

🇹🇷 Turkey

All Countries Compare Countries

cartazio/machines-measured-stack

Stars
2
Language
Haskell
License
BSD 3-Clause "New...
Created almost 4 years ago
Updated almost 4 years ago

cartazio/machines-measured-stack

cartazio

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

augmented stack with monoidal measures on the stack of streams

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

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