ninenines /cowboyErlang7.5K1.2KSmall, fast, modern HTTP server for Erlang/OTP.erlanghttphttp2http-server
parapluu /ConcuerrorErlang35143Concuerror is a stateless model checking tool for Erlang programs.concuerrorerlangsystematic-testingtesting