parapluu

parapluu

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
382 Stars
67 Forks
382 Watchers

Repositories (2)

Concuerror parapluu/Concuerror Erlang

Concuerror is a stateless model checking tool for Erlang programs.

338
encore parapluu/encore C++

The Encore compiler.

44