Euler Yet another proof Engine
A cross-platform integrated CASE system
Symja - Java computer algebra language & symbolic math library
Support variant based Java program execution, adapted to support MDE.
Open-source electronics platform
Development Platform for Web and Mobile Applications
C++ CASE tool, full life cycle code generator
This is a pure JAVA API to handle paste image and upload it
Filler Studio for any kind of automation for Windows,Linux,Mac.
Computer calculations made easy
Piggydb helps you have more fun with knowledge creation.
Toolkit for the easy prototyping of hybrid games for Tabletop Devices
An electromechanical computer simulation.
A Java source code comment analysis system.
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest