Beast code in Giters

serperu's repositories

SecEr: Erlang Code Evolution Control Tool

Language:Erlang12 10

A concolic testing tool for the Erlang functional programming language.

Language:ErlangGPL-3.0000

Erlang Design by Contract

Language:Erlang000

A Google Protobuf implementation for Erlang

Language:ErlangNOASSERTION000

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

Language:ErlangGPL-3.0000