...Karel 3D from Version 8 is different from other Karels, can bulid a Bridges.
WebGL version: https://sourceforge.net/projects/karel-3d-webgl/
C++ version: https://sourceforge.net/projects/karel-3d-cpp/
Bootstrap components written in pure AngularJS by the AngularUI Team
Bootstrap components written in pure AngularJS by the AngularUI Team. UI Bootstrap provides a set of native AngularJS directives based on Bootstrap's markup and CSS. As a result no dependency on jQuery or Bootstrap's JavaScript is required. Build files for all directives are distributed in several flavours: minified for production usage, un-minified for development, with or without templates. It should be noted that the -tpls files contain the templates bundled in JavaScript, while the...
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.