minimal benchmark code for Counting Set Bits (ones) in an Integer
A High-level Utility Package for FMI-based Software Development
opbdp (non-linear) pseudo-Boolean optimization
Reverse proxy with http header, html and javascript code rewritter
BASIC-like language interpreter for embedded systems
Text-to-Speech for Basque and Spanish
PySCeS is the Python Simulator of Cellular Systems
Hard disk drive and SSD health inspection tool
A C/C++ library for performing mathematics.
Debug Facility for Real-Time issues
A graphical frontend to tesseract-ocr
A GUI for the freeware Geographical Information System PCRaster
Finds vulnerabilities in C/C++ source code
The classic RPL programming language reimplemented and reimagined.
IDLE Extensions