Pinned Repositories
la-girafe-sportive
Coq-verified statements about lambda calculi.
8-myths-of-erlang
This repo is an attempt to bust the 8 myths of Erlang performance using the Perforator tool.
cat-arrows
Categories, Arrows, Monads and some Haskell
idris-concstate-effect
an algebraic Effect in Idris for concurrent resource management
parsexml
super simple XML to proplist parser
perforator
Performance unit testing library for Erlang
pierl
Asynchronous pi-calculus in Erlang
protobuf-haskell
Mirror/fork of hprotoc / protocol-buffers darcs repo
yfyf's Repositories
yfyf/perforator
Performance unit testing library for Erlang
yfyf/8-myths-of-erlang
This repo is an attempt to bust the 8 myths of Erlang performance using the Perforator tool.
yfyf/eunit
The EUnit lightweight unit testing framework for Erlang - this is the canonical development repository.
yfyf/perforator2
yfyf/couchbeam
Erlang Couchdb kit.
yfyf/cowboy
Small, fast, modular HTTP server and socket acceptor pool.
yfyf/foobar-plugin
Demo repo for rebar plugin issues
yfyf/idris-course
Embarrassing myself in public while trying to do Dependently Typed programming
yfyf/kerl
Easy building and installing of Erlang/OTP instances
yfyf/lager_syslog
Syslog backend for lager
yfyf/lecture_notes
LaTeX sources of notes
yfyf/parse_trans
Parse transform utilities for Erlang
yfyf/readability-redux
Let's bring Readability to Chrome!
yfyf/rebar
A sophisticated build-tool for Erlang projects that follows OTP principles.
yfyf/vimerl
The Erlang plugin for Vim
yfyf/webmachine
A REST-based system for building web applications.