Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.
Browser based Remote DJ software
A system to DJ and broadcast your show to a SHOUTCAST/ICECAST server using your browser for the DJ console. Put your music and data on a server and DJ from anywhere you have an internet connection. Even have multiple DJs collaborating during one show. Uses cross platform packaged components, so you can mix and match front end/back end. Mix and match component releases.