Collection of standard and secure cryptographic algorithms
Releases of McuOnEclipse projects
A PEG parser library for C++
An Embedded C++ Domain-Specific Language
JBernstein: Exploration techniques for non-linear constraint checking
Math Parser for Java
The solution to all your problems
combinational logic functions minimization
Learning Stochastic Discrete Event Systems