z3

Z3 är en teorem-prover från Microsoft Research.

Z3 är en teorem-prover från Microsoft Research

Alternativ till z3 för Linux

180

Beräkningsmiljö i företagsklass och programmeringsspråk för numerisk beräkning.

172

Octave är ett datorprogram för att utföra numeriska beräkningar som mestadels är kompatibla med MATLAB.Det är en del av GNU-projektet.

165

R är en fri mjukvarumiljö för statistisk databehandling och grafik.

140

Definitivt tekniskt datorsystem som spänner över maskininlärning och neurala nätverk, datavetenskap, visualiseringar och mycket mer.