An open source re-implementation of Chris Sawyer's Locomotion
A collection of packages providing extra functionality for GNU Octave
The world's only naturally intelligent knowledge technology
Fast Win32 math & science tool
A flexible mathematical expressions parser for JAVA, Android, C# .NET
AVR simulator IDE
trace viewer and bus decoders for data captured by Agilent 16700 LA
C++ math library developed primarily for games focused on simplicity
Macro/Micro Magnetic Simulator
CMOS circuit minimizer using table lookup
Simple DIY Analog Hardware Interface
A logic IDE for the sentential logic and the predicate logic.
NEVESIM is an event-driven neural simulation tool.
C++ library adds mathematical fractions. Example: 1/3, 4/7, 49/357...
simulation tool for verification and debugging of digital circuits
ALST is a CAD for all imaginable logic systems (binary, ternary, etc)