Beast code in Giters

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.

Language:OCamlLGPL-2.12 30

metalkia_xmpp

Metalkia XMPP interface

Language:ErlangNOASSERTION2 10

tmugs

Tmux session manager

Language:GoNOASSERTION2 30

erlyvideo

Language:ErlangGPL-3.01 10

metachord.github.com

Git repo for Metachord

1 10

rack

Rack handler for erlang

Language:Erlang100

tsung

For of https://git.process-one.net/tsung

Language:ErlangGPL-2.01 10

amf.go

Language:Go020

apns4erl

Apple Push Notification Server for Erlang

Language:ErlangMIT020

dart-phonegap-start

Dart+PhoneGap

Language:Dart020

dhcp4

DHCP4 library written in Go.

Language:GoBSD-3-Clause020

docker

Docker - the Linux container runtime

Language:GoApache-2.0000

eopenid

Erlang consumer library for OpenID

Language:ErlangMIT010

erlang-oauth

An Erlang OAuth 1.0 implementation

Language:ErlangMIT010

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.

Language:DartNOASSERTION020

goldrush

Small, Fast event processing and monitoring for Erlang/OTP applications.

Language:ErlangISC020

lager

A logging framework for Erlang/OTP

Language:ErlangApache-2.0020

metalkia

Metalkia

NOASSERTION010

metalkia_core

Language:ErlangNOASSERTION010

metalkia_riak

Metalkia Riak interface

Language:ErlangNOASSERTION010

otp

Erlang/OTP

Language:Erlang020