The GNU Prolog native compiler
Showing The Amateur radio Repeaters Tool
System dynamics program with additional features for economics
A multimedia framework based on Qt and FFmpeg
TFEL/MFront introduces DSLs based on C++ to handle material knowledge
GUI Application to Search and Count the Pure King James Bible
Virtual X-Ray Imaging Library on GPU
C++ Library collection
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
Generic Code-Seeking Diassembler with Fuzzy-Function Analyzer
Intellect Modeling Kit: assisting research, diagnostics, consulting
Software for electromagnetic simulation
Unicode XML TEI text analysis platform
Computer Assisted Proofs in Dynamics
Interactive geometry software for Euclidean and non-Euclidean spaces
Transmission bittorrent with p2p streaming. Fast, stable, feature rich
ycasd captures and scales data