Pinned Repositories
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
eclus
Erlang EPMD replacement in Go
flv.go
FLV library for Go
flvsak
Tool for tagging FLV files
mctrace
Trace Erlang process messages easy
metalkia_web
Metalkia Web
metalkia_web_site
Metalkia Web Site
metalkia_xmpp
Metalkia XMPP interface
netlink-hs
Netlink communication for Haskell
tmugs
Tmux session manager
Metachord's Repositories
metachord/flv.go
FLV library for Go
metachord/mctrace
Trace Erlang process messages easy
metachord/eclus
Erlang EPMD replacement in Go
metachord/flvsak
Tool for tagging FLV files
metachord/metalkia_web
Metalkia Web
metachord/netlink-hs
Netlink communication for Haskell
metachord/metalkia_web_site
Metalkia Web Site
metachord/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
metachord/metalkia_xmpp
Metalkia XMPP interface
metachord/tmugs
Tmux session manager
metachord/erlyvideo
erlyvideo
metachord/metachord.github.com
Git repo for Metachord
metachord/rack
Rack handler for erlang
metachord/tsung
For of https://git.process-one.net/tsung
metachord/amf.go
amf.go
metachord/apns4erl
Apple Push Notification Server for Erlang
metachord/dart-phonegap-start
Dart+PhoneGap
metachord/dhcp4
DHCP4 library written in Go.
metachord/docker
Docker - the Linux container runtime
metachord/eopenid
Erlang consumer library for OpenID
metachord/erlang-oauth
An Erlang OAuth 1.0 implementation
metachord/gap
Rikulo Gap is a bridge implementation of the Apache Cordova mobile framework(a.k.a. PhoneGap) in Dart. It enables developers to access native facilities of multiple mobile platforms using the HTML, CSS, and Dart.
metachord/goldrush
Small, Fast event processing and monitoring for Erlang/OTP applications.
metachord/lager
A logging framework for Erlang/OTP
metachord/metalkia
Metalkia
metachord/metalkia_core
metachord/metalkia_riak
Metalkia Riak interface
metachord/otp
Erlang/OTP