Concuerror — Concuerror is a stateless model checking tool for Erlang programs · dotstore

Description

Concuerror is a stateless model checking tool for Erlang programs.

Ratings & Reviews

No ratings yet

Be the first to rate Concuerror.

People also visit

A

Auto Cpufreq

Automatic CPU speed & power optimizer for Linux

Developer Tools

T

Tsdproxy

Automatic Tailscale reverse proxy for Docker containers

Developer Tools

N

NocoDB

Instantly turn your Database into a No-Code Platform

Developer Tools

I

Insomnia

The Collaborative API Development Platform

Developer Tools

J

Joplin

Secure, Cross-platform, Open-Source Markdown Note Taking App

Developer Tools

P

Payload CMS

A TypeScript headless CMS built with Express, MongoDB, and React

Developer Tools

See all Concuerror alternatives

Concuerror FAQ

What is Concuerror?

Concuerror is a stateless model checking tool for Erlang programs.

Is Concuerror free?

Yes. Concuerror is free to use.

Do I need to download Concuerror?

No. Concuerror runs in your browser at github.com, so there's nothing to install.

Who makes Concuerror?

Concuerror is made by parapluu.

What are the best Concuerror alternatives?

Popular alternatives to Concuerror include Auto Cpufreq, Tsdproxy and NocoDB. See all Concuerror alternatives

Developer Stuff

Badges