yfyf/piqi-bin
Dummy repo for copying piqi from your PATH, alternative to https://github.com/alavrik/piqi-binary
Developer Profile
yfyf
Discovered public repositories for yfyf in the GitHub catalog.
yfyf/mouture
A semver 2.0.0 parser for Erlang
yfyf/piqi-rpm
RPM packaging for the "piqi" command-line tool
yfyf/piqi-erlang
Protocol Buffers, JSON, XML data serialization system for Erlang
yfyf/piqi
Serialization system for OCaml and Erlang, JSON-XML-Protocol Buffers data conversion, and more...
yfyf/la-girafe-sportive
Coq-verified statements about lambda calculi.
yfyf/cat-arrows
Categories, Arrows, Monads and some Haskell
yfyf/marky
A Markdown rendering wrapper for the EtherPad collaborative editor.
yfyf/parsexml
super simple XML to proplist parser
yfyf/idris-concstate-effect
an algebraic Effect in Idris for concurrent resource management
yfyf/Idris-dev
A Dependently Typed Functional Programming Language
yfyf/idris-course
Embarrassing myself in public while trying to do Dependently Typed programming
yfyf/lager
A logging framework for Erlang/OTP
yfyf/kerl
Easy building and installing of Erlang/OTP instances
yfyf/webmachine
A REST-based system for building web applications.
yfyf/piqi-rpc
Multi-format RPC-over-HTTP system for Erlang (rebar package)
yfyf/foobar-plugin
Demo repo for rebar plugin issues
yfyf/parse_trans
Parse transform utilities for Erlang
yfyf/lager_syslog
Syslog backend for lager
yfyf/8-myths-of-erlang
This repo is an attempt to bust the 8 myths of Erlang performance using the Perforator tool.
yfyf/perforator
Performance unit testing library for Erlang
yfyf/perforator2
Public repository.
yfyf/cowboy
Small, fast, modular HTTP server and socket acceptor pool.
yfyf/eunit
The EUnit lightweight unit testing framework for Erlang - this is the canonical development repository.
yfyf/vimerl
The Erlang plugin for Vim
yfyf/couchbeam
Erlang Couchdb kit.
yfyf/lecture_notes
LaTeX sources of notes
yfyf/rebar
A sophisticated build-tool for Erlang projects that follows OTP principles.
yfyf/readability-redux
Let's bring Readability to Chrome!