Popular repositories Loading

1. hterl hterl Public

   An Erlang extension which adds HTML tags to the expression syntax.

   Erlang 19 3

2. rebar3_hterl rebar3_hterl Public

   A rebar3 plugin for hterl

   Erlang 2

3. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

   Standard ML

4. elsa elsa Public

   Erlang

5. docker-makefile docker-makefile Public

   Forked from mvanholsteijn/docker-makefile

   Makefile for building docker repository releases

   Python

6. gun gun Public

   Forked from ninenines/gun

   HTTP/1.1, HTTP/2 and Websocket client for Erlang/OTP.

   Erlang