programming language for children
A flexible mathematical expressions parser for JAVA, Android, C# .NET
A logic IDE for the sentential logic and the predicate logic.
A BitTorrent Client
An algebraic, logarithmic, and trigonometric calculator for Windows.
Didactic tool to support First Order Logic semantics learning
A powerful console calculator with a fast and simple interface.