Repository Index

Concuerror is a stateless model checking tool for Erlang programs.

• concuerror
• erlang
• systematic-testing
• testing

A programming tool that replaces the lua code in pico-8 cartridges (p8) with the code you write in P8Coder.

• pico-8
• pico8
• editor
• tool